Top Network Posts
- 11 Why Term Rewriting?
- 9 continuations as meaningful comprehensions
- 9 Why is it bad to pick basis for a vector space?
- 7 Mimicking Haskell canonicity (one-instance only) of typeclasses in Agda
- 7 Recursive definition of Matrix
- 6 How Types avoids Russel's Paradox?
- 6 Is path induction constructive?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.