Type level web server

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.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
runtime		runtime
.gitignore		.gitignore
.gitmodules		.gitmodules
00-nats.hs		00-nats.hs
01-listappend.hs		01-listappend.hs
02-io.hs		02-io.hs
03-io.hs		03-io.hs
HttpServer.hs		HttpServer.hs
README.md		README.md
TypoParsec.hs		TypoParsec.hs
monadicwarsaw.cabal		monadicwarsaw.cabal
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Provide feedback