morte
A bare-bones calculus of constructions
Version on this page: | 1.6.15 |
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.6.15@sha256:f9b85427ebf8ce76a8cae96d4a3a1275026c1efec98749b86879f6e40795133c,3720
Module documentation for 1.6.15
Depends on 19 packages(full list with versions):
Used by 1 package in lts-10.8(full list with versions):