CafeOBJ 1.5.7 released
We have released a new version of CafeOBJ, which incorporates mostly fixes for CITP as well as updates to work with newer versions of SBCL. Please see the download page for the source release, binary packages, and installation instructions. For the moment Windows builds are only available based on Allegro […]