Hi all. Dependent Haskell is an initiative to add dependent types to Haskell, I wrote an article about it back in 2018, see Why Dependent Haskell is the Future of Software Development (serokell.io)
Recently I’ve been able to allocate more time towards that goal than usual, and I was wondering if anyone would be interested in daily updates. The idea is to add transparency to the process and let people know there’s some progress every day.
Let me know if that’s something you’d want to read, so I can decide whether to go ahead with it.