−4 characters

Signed-off-by: Anders Kaseorg <andersk@mit.edu>

Author: andersk

TinyLambda-minimized.hs

@@ -2,7 +2,5 @@ data T=T{a::T->T,(%)::ShowS}
 i d=T(i. \x v->'(':d v++' ':x%v++")")d
 l f v="(λ "++v++". "++f(i(\_->v))%('x':v)++")"
 (?)=q.head.lex
-q("(",'λ':s)k|[(w,_:t)]<-lex s=t? \b->k(\e->T<*>l$b.(:e).(,)w).tail
-q("(",s)k=s? \f->(? \x->k(a.f<*>x).tail)
-q(v,s)k=k(foldl1 a.lookup v)s
+q(v,s)k|v/="("=k(foldl1 a.lookup v)s|'λ':u<-s,[(w,_:t)]<-lex u=t? \b->k(\e->T<*>l$b.(:e).(,)w).tail|0<1=s? \f->(? \x->k(a.f<*>x).tail)
 main=interact(? \f->(f[]%"x"++))