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 89e87ff4fc Define vector-wide bounds		hace 5 años
..
Bounds.v	89e87ff4fc Define vector-wide bounds	hace 5 años
Fold.v	60e3a469b7 Fold vectors, modulo an equivalence	hace 5 años
Iota.v	be5bc4d224 Generate indices in a vector	hace 5 años