This is a prototype HTTP server written in Lean.
Actually, it probably doesn't deserve to be called an HTTP server.
It makes no attempt to follow the specification, but you can point curl at it.
It listens at localhost:3000
for incoming connections,
receives HTTP requests and produces responses.
-
Notifications
You must be signed in to change notification settings - Fork 0
ttuegel/HttpServer.lean
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|