[hcoop/debian/mlton.git] / mlyacc / examples / fol / list.fol

append(nil,K,K).
append(cons(X,L),K,cons(X,M)) :- append(L,K,M).
Commit	Line	Data
7f918cf1 CE	1	append(nil,K,K).
7f918cf1 CE	2	append(cons(X,L),K,cons(X,M)) :- append(L,K,M).