36 ms·
It’s a shame because I love invariants in Ada without the overhead of using a different programming paradigm altogether like Haskell or something
by exdsq 5y ago
It’s a shame because I love invariants in Ada without the overhead of using a different programming paradigm altogether like Haskell or something