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