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  4889 reads

Browse archivesActive forum topics 
Recent comments
6 hours 46 min ago
8 hours 51 min ago
1 day 6 hours ago
1 day 9 hours ago
3 days 6 hours ago
3 days 7 hours ago
3 days 8 hours ago
3 days 8 hours ago
3 days 9 hours ago
3 days 10 hours ago