@hackage tal0.1.0.0

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

Categories
License
MIT
Maintainer
sweirich@cis.upenn.edu
Links
Versions
- 0.1.0.0 Tue, 23 Aug 2016

Installation
In your cabal file:
Dependencies (6)
- base >=4.7 && <5
- containers
- mtl
- transformers
- pretty
- unbound
Dependents (1)
@hackage/acme-everything

"From System F to Typed-Assembly Language"