Top Network Posts
- 22Can I zip more than two lists together in Scala?
- 20How to make a type with restrictions
- 17Algebraically interpreting polymorphism
- 14Recursion Schemes in Agda
- 10terminal sudo command
- 9Types containing with/rewrite clauses in agda, or, how to use rewrite instead of subst?
- 9Is there a data structure for DAGs that supports efficient edits?
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.