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.

Leave a Reply

Your email address will not be published.

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>