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
Upload dateThu Apr 3 13:38:06 UTC 2008
Uploaded byNeilMitchell
Downloads66 total (7 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees