lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

Published 20 hours ago • verified publisher icon Deducteam

Add notations with place-holders

Open fblanqui opened this issue 5 years ago • 1 comments

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

  • "if _ then _ else _",
  • "_ ⊢ _ : _", _ "⟦ _ ⟧",
  • "_ + _", et _ "! _".

fblanqui avatar Oct 17 '19 12:10 fblanqui

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

01mf02 avatar Nov 12 '19 15:11 01mf02