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

Browse archivesActive forum topics 
Recent comments
1 week 5 days ago
1 week 5 days ago
1 week 5 days ago
2 weeks 1 day ago
2 weeks 2 days ago
2 weeks 3 days ago
2 weeks 3 days ago
2 weeks 4 days ago
2 weeks 4 days ago
2 weeks 4 days ago