https://github.com/mroman42/mikrokosmos

(λ) Educational lambda calculus interpreter
https://github.com/mroman42/mikrokosmos

haskell interpreter lambda-calculus

Last synced: 3 months ago
JSON representation

(λ) Educational lambda calculus interpreter

• Host: GitHub
• URL: https://github.com/mroman42/mikrokosmos
• Owner: mroman42
• License: gpl-3.0
• Created: 2016-08-29T16:47:59.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2021-03-12T19:20:19.000Z (almost 4 years ago)
• Last Synced: 2024-10-17T21:34:57.778Z (3 months ago)
• Topics: haskell, interpreter, lambda-calculus
• Language: Haskell
• Homepage: https://mroman42.github.io/mikrokosmos
• Size: 3.27 MB
• Stars: 70
• Watchers: 6
• Forks: 7
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# mikrokosmos

![Version](https://img.shields.io/badge/version-0.8.1-blue.svg)

![Travis (.org)](https://img.shields.io/travis/mroman42/mikrokosmos.svg)

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.1470226.svg)](https://doi.org/10.5281/zenodo.1470226)

[![DOI](https://jose.theoj.org/papers/10.21105/jose.00029/status.svg)](https://doi.org/10.21105/jose.00029)

**Mikrokosmos** is a λ-calculus interpreter, borrowing its name from the series of

progressive piano études *[Mikrokosmos](https://www.youtube.com/watch?v=VEsMk3DAzWM)* 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.

 * [Try Mikrokosmos!](https://mroman42.github.io/mikrokosmos/), online interpreter.

 * [Mikrokosmos tutorial](https://mroman42.github.io/mikrokosmos/tutorial.html), an online tutorial.

 * [Mikrokosmos user's guide](https://mroman42.github.io/mikrokosmos/userguide.html), contains installation instructions.

 * [Mikrokosmos on Hackage](https://hackage.haskell.org/package/mikrokosmos).

## Support and contributions

If you are an user seeking support, please use the 

[GitHub issue tracker](https://github.com/mroman42/mikrokosmos/issues) 

of the main repository.  Any bug, failure, or unintended behaviour of the program, specially if

it differs from the behaviour described on the [user's guide](https://mroman42.github.io/mikrokosmos/userguide.html),

should be reported on the [issue tracker](https://github.com/mroman42/mikrokosmos/issues).

When doing so, please try to include all the relevant information, the

steps you may take to reproduce the error, and the platform and version

of Mikrokosmos you were using.

Mikrokosmos is open to pull requests and issue reports from everyone

(please see the CONTRIBUTING file).  The code is licensed under the GNU

General Public License Version 3 (see the LICENSE file).