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