A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
Primary LanguageSwift