@hackage / mikrokosmos

Lambda calculus interpreter

Latest0.8.0

About

Metadata

  • Last updated , by mroman42
  • License GPL-3.0-only

  • Maintained by: mromang08+github@gmail.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.0.2

Readme

mikrokosmos

Version Travis (.org)

Mikrokosmos is a λ-calculus interpreter, borrowing its name from the series of progressive piano études Mikrokosmos written by Bela Bartok. It aims to provide students with a tool to learn and understand λ-calculus. It supports both untyped λ-calculus and simply typed λ-calculus.