Code for the talk "Programs at the type level", presented at Monadic Warsaw #10.
A web server implemented at the type level in Haskell.
To run it:
stack run HttpServer.hs
Then go to http://localhost:3000/README.md to confirm that it works.
Code for the talk "Programs at the type level", presented at Monadic Warsaw #10.
A web server implemented at the type level in Haskell.
To run it:
stack run HttpServer.hs
Then go to http://localhost:3000/README.md to confirm that it works.