Björn Lötters's repositories
noocleus-one
A minimal functional programming language with type inference, algebraic data types and pattern matching
clerk
Live View Programming with Java's JShell
Language:HTML000
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
Language:HaskellBSD-3-Clause000