luthenwald.tngl.sh / stlc
a minimal implementation of simply-typed lambda calculus in racket
fork atom
stlc / .github /
at main 1 folder
luthenwald.tngl.sh first commit: 14/12/2025
2390e29d
workflows