Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com/sweirich
4 points
fanf2
a year ago
No comment yet
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution | Heykuki News