News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by ImprobableTruth on Wednesday August 11, 2021 @01:11PM (#28144762)
For the same reason that there isn't a universal ABI for normal programming languages, nobody can really agree on what the foundation should be and interoperability between different foundations is very hard.

There are no comments on this comment yet.