Minor tweaks
							parent
							
								
									96231739b3
								
							
						
					
					
						commit
						b2bf95de1b
					
				
							
								
								
									
										1
									
								
								.ghci
								
								
								
								
							
							
						
						
									
										1
									
								
								.ghci
								
								
								
								
							| 
						 | 
				
			
			@ -1,3 +1,2 @@
 | 
			
		|||
putStrLn "Welcome to the Universal Calculator!"
 | 
			
		||||
:set prompt "\x03BB> "
 | 
			
		||||
:set +s
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
| 
						 | 
				
			
			@ -62,5 +62,5 @@ Hello, world!
 | 
			
		|||
- `cd` into the top level of this repo.
 | 
			
		||||
- `nix develop` and let Nix load the flake and set everything up.
 | 
			
		||||
- `ghci` and get computing!
 | 
			
		||||
  - To disable performance timings after every input, type `λ> :unset +s` in the REPL
 | 
			
		||||
  - To enable performance timings after every input, type `λ> :set +s` in the REPL
 | 
			
		||||
  - See other initial commands being run in the `.ghci` file.
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue