Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je...
by CaptainBern on Wednesday August 07, 2019 @03:09AM
(#20632556)
> 2) {- comment -} probably comes from another language (which one?) but I'm always surprised by the cleverness of language designers, even when there is no need for it.
Haskell has {- -} style (multiline)comments.