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

Browse archives
Active forum topics 
Recent comments
8 weeks 15 hours ago
8 weeks 19 hours ago
8 weeks 19 hours ago
30 weeks 2 days ago
34 weeks 3 days ago
36 weeks 1 day ago
36 weeks 1 day ago
38 weeks 5 days ago
43 weeks 3 days ago
43 weeks 3 days ago