Geoffrey Irving | Lambda the Ultimate

Geoffrey Irving

view
track

History

Member for:
13 years 1 week

Browse archives

Active forum topics

New forum topics

Recent comments

Are there any languages that
2 weeks 1 day ago
Not just "parity"
2 weeks 1 day ago
I suggest reading Leroy's
3 weeks 1 day ago
Mostly it's more work than people want to do.
3 weeks 2 days ago
"That level of analysis
3 weeks 2 days ago
Are there any languages that
3 weeks 2 days ago
1. Yes, it seems the answer
3 weeks 2 days ago
Dependency
4 weeks 1 day ago
λ
4 weeks 1 day ago
Re: Module names are expressions & strategy
4 weeks 2 days ago