HCoop / hcoop / debian / mlton.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Import Upstream version 20180207
[hcoop/debian/mlton.git] / mlyacc / examples / fol / list.fol
1 append(nil,K,K).
2 append(cons(X,L),K,cons(X,M)) :- append(L,K,M).
mlton packaging