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