xkapastel | Lambda the Ultimate

xkapastel

view
track

Personal information

Interests:

Program synthesis, static analysis

History

Member for:
6 years 11 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Onward and upward
5 days 21 hours ago
why oh why oh why
5 days 23 hours ago
I'm aware of that.
6 days 22 hours ago
virtual (polymorphism) and non virtual (method call)
1 week 10 hours ago
Ergh.
1 week 15 hours ago
I used the terms "upward"
1 week 15 hours ago
***
1 week 16 hours ago
Haskell, Agad, Rust, Coq, HOL ?
1 week 19 hours ago
Argument dependant lookup
1 week 19 hours ago
1 week 19 hours ago