The firstify package

[Tags: bsd3, library, program]

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

Properties

Version0.1
Change logNone available
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
DistributionsNixOS:0.1
Downloads226 total (16 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-05-19 [all 2 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees