The pi-forall package

[Tags:bsd3, library, program]

An implementation of a simple dependently typed language for OPLSS 2013

Properties

Versions 0.1.1
Dependencies array (>=0.3.0.2 && <0.6), base (==4.*), containers, directory, filepath, HUnit, mtl (>=2.2.1), parsec (>=3.1.8 && <3.2), pretty (>=1.0.1.0), QuickCheck, transformers, unbound-generics (>=0.2) [details]
License BSD3
Copyright (c) 2013-2016 University of Pennsylvania
Author Stephanie Weirich <sweirich@cis.upenn.edu>, based on code by Trellys Team <trellys@...>
Maintainer Stephanie Weirich <sweirich@cis.upenn.edu>
Category Compilers/Interpreters
Home page https://github.com/sweirich/pi-forall
Uploaded Tue Aug 23 15:12:54 UTC 2016 by sweirich
Distributions NixOS:0.1.1
Downloads 72 total (9 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-11-20 [all 3 reports]
Hackage Matrix CI

Modules

  • Main
  • Parser
  • Syntax
  • TypeCheck

Downloads

Maintainer's Corner

For package maintainers and hackage trustees