Closure-Free Functional Programming in a Two-Level Type Theorygithub.com/AndrasKovacs1 pointmatt_d2 years ago