DenisGorbachev
commented
1 year ago Thank you for your work, Sandy!
Working with dependent types is so empowering. Sometimes I feel like being actively guided by the compiler towards the correct program :)
Certainty by Construction Progress Report 6 :: Reasonably Polymorphic
https://reasonablypolymorphic.com/blog/cbc-report6/index.html