The chu2 package
FFI for Chu2 Agda Web Server Interface
Properties
| Versions | 2012.11.16, 2012.11.16.1, 2012.11.17, 2012.11.17.1, 2012.11.17.2, 2012.11.18, 2012.11.18.1, 2012.11.18.2, 2012.11.19, 2012.11.20 |
|---|---|
| Dependencies | base (≥4 & <6), bytestring, data-default, hack2, hack2-handler-snap-server, utf8-string |
| License | BSD3 |
| Author | Jinjing Wang |
| Maintainer | Jinjing Wang <nfjinjing@gmail.com> |
| Category | Web |
| Home page | https://github.com/nfjinjing/chu2 |
| Upload date | Tue Nov 20 02:11:49 UTC 2012 |
| Uploaded by | JinjingWang |
| Built on | ghc-7.6 |
Modules
- Chu2
- Chu2.FFI
- Handler
- Interface
Downloads
- chu2-2012.11.20.tar.gz (Cabal source package)
- package description (included in the package)