Blog: Dependent Haskell

In this post, we talk about Dependent Haskell and show how it could be used to simplify and improve the code in a large production codebase.

Are dependent types the future of software development? Read more about our work on Dependent Haskell in this blog post.