Registered 2017-08-06 by Mario

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.

Mikrokosmos is written in Haskell. It is a didactic lambda calculus interpreter.

Project information

Maintainer:
Mario
Driver:
Mario
Licence:
GNU GPL v3

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Git

Get Involved

  • warning
    Report a bug
  • warning
    Ask a question
  • warning
    Help translate

Downloads

Mikrokosmos does not have any download files registered with Launchpad.