Ligature Request, /\, \/, and |- #122
Description
These are used by me when programming logic stuff.
For examples see https://github.com/olligobber/DirectProof/blob/master/TypedProof.hs#L138
{{ message }}
These are used by me when programming logic stuff.
For examples see https://github.com/olligobber/DirectProof/blob/master/TypedProof.hs#L138