Allow lambda expressions without explicit paren

2025-01-26 08:52:28 -06:00
parent 6713b05872
commit b0b0fb22b9
9 changed files with 63 additions and 87 deletions
--- a/demos/equality.tri
+++ b/demos/equality.tri
@ -6,7 +6,7 @@ demo_true  = t t
 not_TC?     = t (t (t t) (t t t)) (t t (t t t))

 -- /demos/toSource.tri contains an explanation of `triage`
-demo_triage = (\a b c : t (t a b) c)
+demo_triage = \a b c : t (t a b) c
 demo_matchBool = (\ot of : demo_triage
  of
  (\_ : ot)