Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/tests/nofib/real/anna/append.cor
list a ::= Nil | Cons a (list a); ;; append l1 l2 = case l1 of Nil -> l2; Cons x xs -> Cons x (append xs l2) end;