luanj@mail.ustc.edu.cn
S =>(L) =>(L,S) =>(S,S) =>(a,S) =>(a,(L)) =>(a,(L,S)) =>(a,(S,S))
=>(a,(a,S)) =>(a,(a,a))
S =>(L) =>(L,S) =>(L,(L)) =>(L,(L,S)) =>(L,(L,a)) =>(L,(S,a)) =>(L,(a,a))
=>(S,(a,a)) =>(a,(a,a))
附件列表