ariadne/shttpd: A toy HTTP server in development Goals: secure, scalable (vertically and horizontally), not excessively slow, separation of privilege (and knowledge: HTTP code doesn't have to know TLS key) ... @ verification

Ariadne Devos f43ea0588e Define lifts of arrows		%!s(int64=5) %!d(string=hai) anos
..
S	f43ea0588e Define lifts of arrows	%!s(int64=5) %!d(string=hai) anos
Language.v	03ebdd14a7 Implement a Kleene closure	%!s(int64=5) %!d(string=hai) anos
Lattice.v	9800d1ca59 Specify distributive lattices and their dual	%!s(int64=5) %!d(string=hai) anos
Trace.v	b93471c1ea Define and proof mapping traces	%!s(int64=5) %!d(string=hai) anos