in #functional programming, #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons
in #functional programming, #haskell, #challenges, #advent of code, @Haskell, +Advent of Code