Mikrokosmos

https://github.com/mroman42/mikrokosmos

Mikrokosmos is an educational lambda-calculus interpreter that supports both untyped and simply...

Tokens:90,205
Snippets:733
Trust Score:9
License:GPL-3.0
Update:2 months ago
Tokens:
Raw