Tagged: CafeOBJ

0

CafeOBJ 1.5.8 released

Some time ago we released CafeOBJ 1.5.8 with some new features and bugfixes for the inductive theorem prover CITP. We are still struggling with SBCL builds on Windows, which suddendly started to produce corrupt...

1

CafeOBJ 1.5.7 released

Yesterday we released CafeOBJ 1.5.7 with lots of changes concerning the inductive theorem prover CITP, as well as fixes to make CafeOBJ work with current SBCL. The documentation has gained a few more documents...

1

CafeOBJ 1.5.5 released

Yesterday we have released CafeOBJ 1.5.5 with a long list of changes, and many more internal changes. Documentation pages have been updated with the latest reference manual (PDF, Html) as well as some new...

1

CafeOBJ 1.5.4 released

Yesterday we have released CafeOBJ 1.5.4 with a long list of changes, and many more internal changes. Documentation pages have been updated with the latest reference manual (PDF, Html) as well as some new...

1

Getting CafeOBJ via MacPorts

I have finally finished the Portfile for CafeOBJ, which allows users to install CafeOBJ via the usual port command of MacPorts. For one needs to add our local source (which only ships CafeOBJ port),...

0

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...

0

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,...

0

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...

0

CafeOBJ in Debian

After close to a month of waiting, our CafeOBJ packages have finally entered Debian! Not having all the build architectures at hand for testing, there have been a lot of build-failures, especially due to...

0

CafeOBJ 1.5.1 and binary builds

After recently, we released another version 1.5.1, which makes the Windows builds run on UNC path, too. We also improved our binary distribution mechanism and now provide ready built binaries for Windows, Mac, and...