dthurston | Lambda the Ultimate

dthurston

view
track

Personal information

Interests:

Haskell, mathematics, topology

History

Member for:
13 years 51 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Onward and upward
4 days 19 hours ago
why oh why oh why
4 days 20 hours ago
I'm aware of that.
5 days 20 hours ago
virtual (polymorphism) and non virtual (method call)
6 days 8 hours ago
Ergh.
6 days 13 hours ago
I used the terms "upward"
6 days 13 hours ago
***
6 days 13 hours ago
Haskell, Agad, Rust, Coq, HOL ?
6 days 17 hours ago
Argument dependant lookup
6 days 17 hours ago
6 days 17 hours ago