John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								02ac0662e7
								
							
								
							
						 | 
						
							
							
								
								more doc type fixes.
							
							
							
							
							
						 | 
						
							2014-05-24 17:16:26 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								98935b7f15
								
							
								
							
						 | 
						
							
							
								
								docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``.
							
							
							
							
							
						 | 
						
							2014-05-18 20:09:10 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								03b7e67547
								
							
								
							
						 | 
						
							
							
								
								fix some help-lint errors.
							
							
							
							
							
						 | 
						
							2014-03-12 20:08:15 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								d23cb84ad4
								
							
								
							
						 | 
						
							
							
								
								grouping.extras: fix stack effect names for (group-by).
							
							
							
							
							
						 | 
						
							2013-12-19 09:07:46 -08:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								186f1e11d9
								
							
								
							
						 | 
						
							
							
								
								grouping.extras: group-by is faster with vectors.
							
							
							
							
							
						 | 
						
							2013-12-18 09:30:25 -08:00 | 
						
					
				
					
						
							
							
								 
								Björn Lindqvist
							
						 | 
						
							
							
							
							
								
							
								066866c539
								
							
								
							
						 | 
						
							
							
								
								grouping.extras: new word group-by, like sql GROUP BY but is order-preserving
							
							
							
							
							
						 | 
						
							2013-12-14 21:11:39 +01:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								2370ed3918
								
							
								
							
						 | 
						
							
							
								
								grouping.extras: adding group-as and clump-as.
							
							
							
							
							
						 | 
						
							2013-11-26 08:22:58 -08:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								eb582e4bbd
								
							
								
							
						 | 
						
							
							
								
								grouping.extras: adding map-as versions.
							
							
							
							
							
						 | 
						
							2013-09-23 17:23:08 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								8e800ba02e
								
							
								
							
						 | 
						
							
							
								
								grouping.extras: clean up using.
							
							
							
							
							
						 | 
						
							2013-09-23 17:19:58 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								cdb4d42dd6
								
							
								
							
						 | 
						
							
							
								
								grouping.extras: having some fun with clumps.
							
							
							
							
							
						 | 
						
							2013-09-23 17:17:41 -07:00 |