~thon/thon

ref: 77836cf98cc622ea6d9a4405a5ce30b7df2f241e thon/examples/appapp.thon -rw-r--r-- 198 bytes
77836cf9Evan Bergeron Function application associativity is wrong 10 months ago
                                                                                
1
2
3
4
5
(* BUG currently parses as f (g (h Z)), should parse as f (g (h Z)) *)
fun f : nat -> nat = \ x : nat -> x in
fun g : nat -> nat = \ x : nat -> x in
fun h : nat -> nat = \ x : nat -> x in
(f g h Z)