Haskell is in a similar boat with regards to a missing formal spec. | alt Hacker News

alt Hacker News

eru • today at 5:52 PM • 1 reply • view on HN

Haskell is in a similar boat with regards to a missing formal spec.

Replies

tome • today at 8:41 PM

There is some work on that: https://www.youtube.com/watch?v=qk_P8piUclI