ghc-core-smallstep: A small-step semantics for Core

[ language, library, mit ] [ Propose Tags ]

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

Versions [faq]
Dependencies base (==4.11.*), ghc (==8.4.*) [details]
License MIT
Copyright 2017 Joachim Breitner
Author Joachim Breitner
Category Language
Uploaded by JoachimBreitner at 2018-04-10T21:42:30Z
Distributions NixOS:
Downloads 518 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs pending
Build status unknown [no reports yet]


  • GHC
    • GHC.SmallStep


Maintainer's Corner

For package maintainers and hackage trustees