luth.works / stlc
a minimal implementation of simply-typed lambda calculus in racket
Star
Fork 0
Watch

Commits on main

updated(luth): 2026-01-07 main
luthenwald committed
first commit: 14/12/2025
luthenwald committed