User loginNavigation 
Proofs that do things
Learning category theory and formal logic by writing proofs in Haskell. Cool. :D By genneth at 20061124 20:28  LtU Forum  previous forum topic  next forum topic  other blogs  4764 reads

Browse archivesActive forum topics 
Recent comments
13 hours 26 min ago
14 hours 24 min ago
1 day 7 hours ago
5 days 2 hours ago
5 days 8 hours ago
5 days 10 hours ago
5 days 20 hours ago
1 week 15 hours ago
1 week 1 day ago
1 week 1 day ago