chu2-2012.11.17.1: FFI for Chu2 Agda Web Server Interface
Chu2.Handler.SnapServerFFI
run :: Application -> IO ()Source
onPort_run :: Integer -> Application -> IO ()Source