HTTP response
12345678910111213
module Main
ByteString : Type
ByteString = String
record Response where
constructor MkResponse
status : Int
body : if status == 201 then () else ByteString
main : IO ()
main = putStrLn "Hello World!"
Idris
INFO