Comment by eru 11 days ago Haskell is in a similar boat with regards to a missing formal spec. 1 comment eru Reply tome 11 days ago There is some work on that: https://www.youtube.com/watch?v=qk_P8piUclI
There is some work on that: https://www.youtube.com/watch?v=qk_P8piUclI