diff --git a/Javascript/f.html b/Javascript/f.html index 8370f70950be983cc91e41fd1fc2f8f6735aa145..bd855c47d7b2872a0f702865417453ad1164c165 100755 --- a/Javascript/f.html +++ b/Javascript/f.html @@ -488,7 +488,7 @@ type = tabs / - tapp:tapp {return tapp.reduce((ret, val) => new Type("app", ret, val))} + tapp:tapp {return tapp.reduceRight((ret, val) => new Type("app", val, ret))} tabs = [∀\\\^] tvar_list:tvar_list "." type:type {