stlc
a minimal implementation of simply-typed lambda calculus in racket
Star
Fork
Watch

Branches

main Default
4eb2a4be ·