search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
270 stars 35 forks source link

Add notations with place-holders #248

Open fblanqui opened 5 years ago

fblanqui commented 5 years ago

@rlepigre proposes to define notations with « place-holders » with priorities like:

01mf02 commented 4 years ago

The article Parsing Mixfix Operators by Danielsson and Norell might be useful in this endeavour.