Why Dependent Haskell is the Future of Software Development
BRANK
Are dependent types insanity or the future of software development? Read more about our work on Dependent Haskell in this blog post.