Lang Martin | Lambda the Ultimate

Lang Martin

view
track

History

Member for:
14 years 19 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

What's a type, take #2
4 days 13 min ago
Why category theory
1 week 11 hours ago
Give it a few days...
1 week 1 day ago
<Removed>
1 week 1 day ago
Category theory to the rescue?
1 week 1 day ago
natural language is not enough
3 weeks 2 days ago
Interesting
6 weeks 5 days ago
Also see the slide deck
6 weeks 6 days ago
accidental noise removed
8 weeks 4 days ago
natural language or fail
8 weeks 4 days ago