2017

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

in #functional programming, #haskell, #physics, #numerical methods, #dependent types, @Haskell, +Hamilton

in #functional programming, #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, @Reference

in #functional programming, #dependent types, #haskell, #singletons, #types, #existential types, #abominations, @Haskell