Archives

Here you can find all my previous posts:

• Type Inhabitation in Template Haskell - December 24, 2021
• A simple lesson from Skolem's "paradox" - July 2, 2021
• Primitive Recursion in Haskell - January 10, 2021
• Learning Scala from a Haskell perspective - January 3, 2021
• Setting up this blog using Hakyll - December 15, 2020