Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je...
by chenglou on Wednesday August 07, 2019 @04:16AM
(#20632833)
1) That's a pattern match. Nothing to do with pipe
[ Parent
| on HN ]
There are no comments on this comment yet.