HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by eru | Hacker News Reader
Parent
Full thread
eru
·
Haskell is in a similar boat with regards to a missing formal spec.
View on HN
tome
·
There is some work on that:
https://www.youtube.com/watch?v=qk_P8piUclI
Reply on news.ycombinator.com