Tutorial: First Steps with CafeOBJ
I have created a tutorial for CafeOBJ that will guide users through starting the CafeOBJ interpreter, and some simple calculations. Included is also a very short introduction to the logic background of CafeOBJ, and the basic structure of the language.
The tutorial is published on the CafeOBJ page, direct link: Tutorial: First steps in CafeOBJ.
