URL details: mroman42.github.io/mikrokosmos/

home > domains > mroman42.github.io > mroman42.github.io/mikrokosmos/

URL title: Mikrokosmos
URL paragraphs: Mikrokosmos is an untyped and simply typed λ-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 the λ-calculus . You c
URL last crawled: 2022-12-20
URL speed: 0.112 MB/s, downloaded in 0.100 seconds

open external url

1 external links to this url

Only links from external domains are shown on this page.