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 Tue Apr 10 21:42:30 UTC 2018
Distributions NixOS:
Downloads 275 total (21 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
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