The chu2 package

[Tags: bsd3, library]

FFI for Chu2 Agda Web Server Interface


Properties

Versions2012.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
Dependenciesbase (>=4 && <6), bytestring, data-default, hack2, hack2-handler-snap-server
LicenseBSD3
AuthorJinjing Wang
MaintainerJinjing Wang <nfjinjing@gmail.com>
CategoryWeb
Home pagehttps://github.com/nfjinjing/chu2
Upload dateSat Nov 17 05:55:49 UTC 2012
Uploaded byJinjingWang
Downloads793 total (71 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees