児玉靖司 法政大学経営学部
type elem=int type intlist={head:elem,tail:intlist} function append(a:intlist,b:intlist):intlist= if a=nil then b else intlist(head=a.head,tail=append(a.tail,b))