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.
[ Parent
| on HN ]
There are no comments on this comment yet.