Idris2Doc : WebServerRacket

WebServerRacket

(source)

Definitions

runResponder : PGAuthentication-> (Request->InnerCont (ListFrame)) ->IO ()
Visibility: export