News for hackers. Stuff that matters.
Re:Programming Languages Going Above and Beyond by toastal on Thursday June 29, 2023 @11:08AM (#36521429)
Why3 ‘extends’ OCaml with similar features as well

There are no comments on this comment yet.