Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je...
by dllthomas on Sunday August 11, 2019 @12:55PM
(#20669041)
I'm not sure I can name another language with coherence, dependant types or not. To be fair, even GHC is half-hearted about it.
[ Parent
| on HN ]
There are no comments on this comment yet.