User loginNavigation |
jason stumpfPersonal informationCanada Mathematics, type theory, proofs of program correctness, functional reactive programming, algorithms, simplicity and elegance. History13 years 45 weeks |
Browse archivesActive forum topics |
Recent comments
6 weeks 6 days ago
7 weeks 1 day ago
7 weeks 2 days ago
14 weeks 2 days ago
20 weeks 15 hours ago
20 weeks 1 day ago
21 weeks 15 hours ago
23 weeks 6 days ago
25 weeks 1 day ago
25 weeks 2 days ago