The firstify package

[Tags: bsd3, library, program]

A library to transform Yhc Core programs to first-order.


Properties

Version0.1
Dependenciesbase (>=3), containers, directory, filepath, homeomorphic, mtl, Safe, yhccore
LicenseBSD3
Copyright2007-8, Neil Mitchell
AuthorNeil Mitchell
Maintainerndmitchell@gmail.com
CategoryDevelopment
Home pagehttp://www-users.cs.york.ac.uk/~ndm/firstify/
Executablesfirstify
UploadedThu Apr 3 13:38:06 UTC 2008 by NeilMitchell
Downloads138 total (8 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees