• What Difference Lists Are https://www.hedonisticlearning.com/posts/functional-lists-are-not-difference-lists.html 0 comments 13/4/2025
• Quotient Types for Programmers https://www.hedonisticlearning.com/posts/quotient-types-for-programmers.html 3 comments 21/12/2018
• Category Theory, Syntactically (2016) http://www.hedonisticlearning.com/posts/category-theory-syntactically.html 68 comments 27/4/2017

• Quotient Types for Programmers https://www.hedonisticlearning.com/posts/quotient-types-for-programmers.html 6 comments 20/12/2018 programming
• A rant on the pedagogy of logic https://www.hedonisticlearning.com/posts/the-pedagogy-of-logic-a-rant.html 47 comments 5/7/2018 math
• Understanding Typing Judgements http://www.hedonisticlearning.com/posts/understanding-typing-judgments.html#fn4 4 comments 27/7/2017 programming
• Quotient Types for Programmers http://www.hedonisticlearning.com/posts/quotient-types-for-programmers.html 28 comments 28/9/2016 haskell