in #education, #doctorate, #physics, #mathematics, @Personal
in #functional programming, #dependent types, #haskell, #singletons, #types, @Haskell