1 repository on SrcLog
Add it to a GitHub README or profile — the card updates as the ranking changes:
An interpreter for learning and exploring pure λ-calculus