Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
14 lines (11 sloc) 296 Bytes
module Lemmachine.Response where
open import Lemmachine.Response.Status public
open import Data.Product
open import Data.List
open import Data.String
ResponseHeader = String × String
record Response : Set where
field
status : Status
headers : List ResponseHeader
body : String
Jump to Line
Something went wrong with that request. Please try again.