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

Browse archivesActive forum topics 
Recent comments
1 hour 56 sec ago
2 days 9 hours ago
2 days 11 hours ago
3 days 7 hours ago
3 days 14 hours ago
3 days 17 hours ago
3 days 18 hours ago
3 days 20 hours ago
4 days 11 hours ago
4 days 15 hours ago