Jan Liam Verter's repositories
lambda-pie
Simple REPLs for various λ calculi.
original-glask
A statically typed, lazy, pure functional programming language with pattern matching, type classes, higher kinded types, type synonyms, global inference, polymorphic recursion, polymorphic kinds, typed holes, and higher-rank types.