Tutorial: Lists in CafeOBJ

I have created a new tutorial for CafeOBJ that will introduce users to functional programming the CafeOBJ way, in particular list processing and programming. We introduce lists, and define functions on them: length, append, insert, and insert sort. At the end we shortly touch the topic of tracing CafeOBJ rewriting.

The tutorial is published on the CafeOBJ page, direct link: Tutorial: Lists.