itnef / mps-lambda

A dependently typed lambda calculus, implemented in Jetbrains MPS

Geek Repo

Github PK Tool