Idris2Doc
: Syntax.WithProof
Index
Default
Alternative
Black & White
Syntax.WithProof
(@@)
: (t : a) ->
DPair
a (\u => t = u)
Until Idris2 supports the 'with (...) proof p' construct, here's a
poor-man's replacement.
Fixity Declaration
: prefix operator, level 10