Griffin Smith
								
							 
						 | 
						
							
							
							
							
								
							
							
								9a5c75e431
								
							
						 | 
						
							
							
								
								__snippet__
							
							
							
							
							
						 | 
						
							2020-05-18 11:31:11 -04:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Griffin Smith
								
							 
						 | 
						
							
							
							
							
								
							
							
								35c76e7098
								
							
						 | 
						
							
							
								
								Many updates, too many to count
							
							
							
							
							
							
							
							commit messages are for code, not config
I guess 
							
						 | 
						
							2020-03-26 15:03:25 -04:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Griffin Smith
								
							 
						 | 
						
							
							
							
							
								
							
							
								23b179ad1d
								
							
						 | 
						
							
							
								
								A bunch of new snippets
							
							
							
							
							
						 | 
						
							2019-07-09 17:50:51 -04:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Griffin Smith
								
							 
						 | 
						
							
							
							
							
								
							
							
								29c7632fd2
								
							
						 | 
						
							
							
								
								Misc haskell stuff, snippets, etc
							
							
							
							
							
						 | 
						
							2018-09-18 10:18:20 -04:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Griffin Smith
								
							 
						 | 
						
							
							
							
							
								
							
							
								8ba14144a3
								
							
						 | 
						
							
							
								
								Update to latest doom, agda stuff, misc
							
							
							
							
							
						 | 
						
							2018-08-31 13:31:14 -04:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Griffin Smith
								
							 
						 | 
						
							
							
							
							
								
							
							
								d88fb3194f
								
							
						 | 
						
							
							
								
								Initial commit
							
							
							
							
							
						 | 
						
							2018-03-29 18:10:07 -04:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |