Introduction to CafeOBJ in English and Japanese
Thanks to Takahiro Seino we are now having a gentle introduction to CafeOBJ for beginners, in both English and Japanese, available. Please head over to the CafeOBJ web site for details, or jump directly to the English or Japanese version.
We are also preparing for a new release with largely improved CITP support and better term inspection. Stay tuned.