xenia 50d8535c50 Move Response into HTTP		2023-09-09 23:02:39 +02:00
..
HTML	Change HTML syntax, split into modules	2023-09-09 12:35:00 +02:00
HTTP	Rename Parse-HTTP to HTTP, separate parsing into HTTP.Parse	2023-09-09 22:27:42 +02:00
UTF-8	Make encode-/decode-string actually take and return Strings, rather than List Chars	2023-09-09 22:25:34 +02:00
ASCII.agda	Rename Parse-HTTP to HTTP, separate parsing into HTTP.Parse	2023-09-09 22:27:42 +02:00
Base.agda	Clean up imports	2023-09-09 13:01:12 +02:00
Bits-and-Bytes.agda	Parse full request, including headers and body	2023-09-07 15:18:58 +02:00
HTML.agda	Change HTML syntax, split into modules	2023-09-09 12:35:00 +02:00
HTTP.agda	Move Response into HTTP	2023-09-09 23:02:39 +02:00
Indexed.agda	Initial commit: UTF-8 encoding + decoding, parsing framework based on agdarsec, starts of a HTTP parser, fucked up socket FFI, simple HTTP server	2023-09-03 00:05:29 +02:00
Main.agda	Move Response into HTTP	2023-09-09 23:02:39 +02:00
NonEmpty.agda	Clean up imports	2023-09-09 13:01:12 +02:00
ParseHelpers.agda	Rename Parse-HTTP to HTTP, separate parsing into HTTP.Parse	2023-09-09 22:27:42 +02:00
Parsing.agda	Parse the request line properly	2023-09-07 23:39:39 +02:00
Socket.agda	Initial commit: UTF-8 encoding + decoding, parsing framework based on agdarsec, starts of a HTTP parser, fucked up socket FFI, simple HTTP server	2023-09-03 00:05:29 +02:00
SysIO.agda	Initial commit: UTF-8 encoding + decoding, parsing framework based on agdarsec, starts of a HTTP parser, fucked up socket FFI, simple HTTP server	2023-09-03 00:05:29 +02:00
UTF-8.agda	Make encode-/decode-string actually take and return Strings, rather than List Chars	2023-09-09 22:25:34 +02:00
henttp.agda-lib	Initial commit: UTF-8 encoding + decoding, parsing framework based on agdarsec, starts of a HTTP parser, fucked up socket FFI, simple HTTP server	2023-09-03 00:05:29 +02:00