Using the GHC REPL and Haskell to teach programming concepts through the guise of mathematics. Powered by Nix.
Updated
The configuration for this NixOS machine, as well as the configuration for this application and many others that run on it.
Updated
Updated
Updated
Updated
Updated
Updated
Updated