in #functional programming, #haskell, #interpreters, #functors, #functor combinators, #monads, @Haskell
in #education, #doctorate, #physics, #mathematics, @Personal
in #functional programming, #dependent types, #haskell, #singletons, #types, @Haskell
in #haskell, #machine learning, #dependent types, #functional programming, @Haskell
in #haskell, #nix, #purescript, @Meta