@hackage ghc-core-smallstep0.1.0.1

A small-step semantics for Core

Categories
License
MIT
Maintainer
mail@joachim-breitner.de
Lottery factor: 0
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.0.1 Tue, 10 Apr 2018

Installation
In your cabal file:
Tested Compilers
Dependencies (2)
- base >=4.11 && <4.12
- ghc >=8.4 && <8.5
Dependents (1)
@hackage/acme-everything

This module contains an executable, type ignoring small-step semantics for Haskell Core with lazyness.