@hackage / ghc-core-smallstep

A small-step semantics for Core

Latest0.1.0.1

About

Metadata

  • Last updated , by JoachimBreitner
  • License MIT
  • Maintained by: mail@joachim-breitner.de

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.4.4
  2. 8.4.3
  3. 8.4.2
  4. 8.4.1

Readme

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