Adam Chlipala | Lambda the Ultimate

Adam Chlipala

view
track

Personal information

Country:
USA

Gender:
male

History

Member for:
10 years 30 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

interaction
10 hours 55 min ago
Maybe
14 hours 14 min ago
re: Machines
2 days 8 hours ago
Finiteness and Locality
2 days 9 hours ago
Double-disagree
2 days 16 hours ago
Machines
2 days 18 hours ago
Disagree
3 days 2 hours ago
Dup
3 days 2 hours ago
Objects
3 days 2 hours ago
Purity and context
3 days 4 hours ago