Added a TODO note on the + parsing.
@@ -11,6 +11,7 @@ pub Term = {
Term::Let(id, Box::new(t1), Box::new(t2)),
"if" <b:Term> "then" <t:Term> "else" <e:Term> =>
Term::Ite(Box::new(b), Box::new(t), Box::new(e)),
+ // TODO make infix
"+" <t1:Atom> <t2:Atom> => Term::Plus(Box::new(t1), Box::new(t2)),
Applicative,
};
