module Hello2 where -- simple-logger middleware open import Chu2.Middleware.SimpleLogger using (simple-logger) open import IO using (return) renaming (run to io) open import Function using (const) open import Chu2 using (Application; default-response) default-app : Application default-app = const (return default-response) app : Application app = simple-logger default-app open import Chu2.Handler.SnapServer using (on-port_run) main = io (on-port 3001 run app)