| 
					
						
							
								
								
								
									
									
									
										july_2025
									
								
							
						
					
				 | 
				
					
						
							
							Sketching July 2025.
						
					
				 | 
				2025-08-01 07:47:56 -05:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										may_2025
									
								
							
						
					
				 | 
				
					
						
							
							Add with-keyword sketching.
						
					
				 | 
				2025-05-26 16:24:51 -05:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										september_2025
									
								
							
						
					
				 | 
				
					
						
							
							More sketching of functor, list, and related.
						
					
				 | 
				2025-09-28 12:34:29 -05:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								curl.dms
							
						
					
				 | 
				
					
						
							
							Some more http sketching.
						
					
				 | 
				2025-01-14 14:31:09 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								goal_one.dm
							
						
					
				 | 
				
					
						
							
							Start implementation of vm.
						
					
				 | 
				2024-11-26 23:34:30 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								hkt.dm
							
						
					
				 | 
				
					
						
							
							Start implementation of vm.
						
					
				 | 
				2024-11-26 23:34:30 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								int.dm
							
						
					
				 | 
				
					
						
							
							Work on hkt and int.
						
					
				 | 
				2024-11-26 09:37:40 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								println.dm
							
						
					
				 | 
				
					
						
							
							Add println lua function with inline keyword.
						
					
				 | 
				2024-11-26 10:49:36 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								sketch.dm
							
						
					
				 | 
				
					
						
							
							Tweak sketch.
						
					
				 | 
				2024-11-24 23:08:27 -06:00 |