SwiftPie
Swift
★ 4
updated 4y ago
A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
No plain-English explanation yet — one is being written right now. Check back in a minute.