HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com/sweirich
discuss
a year ago
fanf2
4 points
2.
▲
A demo implementation of a simple dependently-typed language (Stephanie Weirich)
github.com/sweirich
discuss
12 years ago
mrbbk
2 points
3.
▲
Lambda-Calculus cooked n-ways
github.com/sweirich
discuss
4 years ago
weatherlight
1 points