The firstify package

[Tags:bsd3, library, program]

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

Properties

Versions 0.1
Dependencies base (>=3), containers, directory, filepath, homeomorphic, mtl, Safe, yhccore [details]
License BSD3
Copyright 2007-8, Neil Mitchell
Author Neil Mitchell
Maintainer ndmitchell@gmail.com
Stability Unknown
Category Development
Home page http://www-users.cs.york.ac.uk/~ndm/firstify/
Uploaded Thu Apr 3 13:38:06 UTC 2008 by NeilMitchell
Distributions NixOS:0.1
Downloads 327 total (2 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-12 [all 5 reports]

Modules

  • Yhc
    • Core
      • Yhc.Core.Firstify
        • Yhc.Core.Firstify.Mitchell
          • Yhc.Core.Firstify.Mitchell.BiMap
          • Yhc.Core.Firstify.Mitchell.Template
          • Yhc.Core.Firstify.Mitchell.Terminate
        • Yhc.Core.Firstify.MitchellOld
        • Yhc.Core.Firstify.Paper
        • Yhc.Core.Firstify.Reynolds
        • Yhc.Core.Firstify.Super

Downloads

Maintainer's Corner

For package maintainers and hackage trustees