"'if' a 'then' b 'else' c"
for
@{ 'ifthenelse $a $b $c }.
-
-TODO collezionare le keyword e aggiungerle al lexer nonche' ricordarsele per quando si rimuove la notazione.
+print if even then x else bump x.
notation
"a \vee b"
notation
"'fun' ident x \to a"
- right associative at precedence ...
+ right associative with precedence 20
for
- @{ 'lambda ${ident x} $a }
+ @{ 'lambda ${ident x} $a }.
NOTES