chu2-2012.11.19: src/Hello.agda

module Hello where

open import IO              using (run; return)
open import Data.List       using ([])
open import Function        using (const)
open import Chu2            using (response; OK; Application) 

hello-world-response = response OK [] ("Hello Agda!")

hello-world-app : Application
hello-world-app = const (return hello-world-response)

open import Chu2.Handler.SnapServer using (on-port_run)
main = run (on-port 3000 run hello-world-app)