Readme for chu2-2012.11.17.2
Example Chu2 Application in Agda
module Hello where
open import IO.Primitive using (return)
open import Data.List using ([])
open import Chu2.ByteString using (pack)
open import Function using (_$_; const)
open import Chu2
hello-world-response = response OK [] (pack "Hello Agda!")
hello-world-app : Application
hello-world-app = const $ return hello-world-response
open import Chu2.Handler.SnapServer
main = onPort 3000 run $ chu2 hello-world-app
Note
- need the Agda standard library: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary
- need to read the Agda tutorial and be able to run Agda script from emacs: http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf