| 
						
					 | 
					
						
						
							
						
						6a5e02a8ac
	
				 
					 | 
					
						
						
							
							Typos
						
						
						
						
						
						
					 | 
					
						2023-12-09 18:17:22 -08:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						20b0bf3e7d
	
				 
					 | 
					
						
						
							
							Minor fix
						
						
						
						
						
						
					 | 
					
						2023-10-22 20:55:21 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e4706d41e7
	
				 
					 | 
					
						
						
							
							Fixed a few errors
						
						
						
						
						
						
					 | 
					
						2023-10-22 20:19:24 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2cd4b4e548
					 | 
					
						
						
							
							Fixed Kestrel problems
						
						
						
						
						
						
					 | 
					
						2023-10-18 09:16:29 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b0bb202225
					 | 
					
						
						
							
							Improved currying section
						
						
						
						
						
						
					 | 
					
						2023-10-18 09:16:22 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8ffa0b644a
					 | 
					
						
						
							
							More edits
						
						
						
						
						
						
					 | 
					
						2023-10-17 18:22:07 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						887b6de1d6
					 | 
					
						
						
							
							Minor edits
						
						
						
						
						
						
					 | 
					
						2023-10-17 11:45:33 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5ddd354b4a
	
				 
					 | 
					
						
						
							
							Typos
						
						
						
						
						
						
					 | 
					
						2023-10-17 09:19:14 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a7dfe2728a
	
				 
					 | 
					
						
						
							
							Improved intro
						
						
						
						
						
						
					 | 
					
						2023-10-17 09:15:31 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						59498a9bc6
	
				 
					 | 
					
						
						
							
							Final lambda edits
						
						
						
						
						
						
					 | 
					
						2023-10-16 18:54:37 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						22535a8183
	
				 
					 | 
					
						
						
							
							Reworked introduction
						
						
						
						
						
						
					 | 
					
						2023-10-16 16:06:39 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b093e368e5
					 | 
					
						
						
							
							Lambda edits
						
						
						
						
						
						
					 | 
					
						2023-10-16 15:06:51 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dfadd23e63
	
				 
					 | 
					
						
						
							
							Cleanup
						
						
						
						
						
						
					 | 
					
						2023-10-05 11:23:03 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ab410dbe74
	
				 
					 | 
					
						
						
							
							Minor cleanup
						
						
						
						
						
						
					 | 
					
						2023-10-04 09:42:09 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fdf7ba8e4c
	
				 
					 | 
					
						
						
							
							Typo
						
						
						
						
						
						
					 | 
					
						2023-10-03 18:17:39 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d20ddd26b1
					 | 
					
						
						
							
							Minor edits
						
						
						
						
						
						
					 | 
					
						2023-04-02 09:20:18 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						494e91dc98
					 | 
					
						
						
							
							Cleanup
						
						
						
						
						
						
					 | 
					
						2023-02-05 21:02:05 -08:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						12c677f2da
					 | 
					
						
						
							
							Added Crypto & Lambda handouts
						
						
						
						
						
						
					 | 
					
						2022-11-13 13:02:25 -08:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |