Hacker News new | ask | show | jobs
by littlestymaar 221 days ago
> A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees