morte
A bare-bones calculus of constructions
Version on this page: | 1.5.1 |
LTS Haskell 12.26: | 1.6.20 |
Stackage Nightly 2018-09-28: | 1.7.1 |
Latest on Hackage: | 1.7.2@rev:1 |
Maintained by [email protected]
This version can be pinned in stack with:
morte-1.5.1@sha256:e459e2ef5ee8d5d37cb08a7c9716c720ea76a7f35b1fc55b12ec00bf8b7e2f5e,3646
Module documentation for 1.5.1
Depends on 18 packages(full list with versions):
Used by 1 package in nightly-2016-04-09(full list with versions):