Hacker News new | ask | show | jobs
Formal specifications and static checking of interfaces in Julia (github.com)
4 points by amkkma 1001 days ago