Hacker News new | ask | show | jobs
by tomp 4099 days ago
It could be useful for future compilers and languages that use refined types (e.g. `x : int if x > 0`). Check out Liquid Haskell!