Hacker News new | ask | show | jobs
Compile-time memory safety using Liquid Haskell (haskellforall.com)
2 points by timothyklim 3822 days ago