reduck
Standard ML
★ 2
updated 11y ago
interactive tool for the untyped λ-calculus
No plain-English explanation yet — one is being written right now. Check back in a minute.
interactive tool for the untyped λ-calculus
No plain-English explanation yet — one is being written right now. Check back in a minute.