生も死もひとつのブランコの分岐点においてゆらゆらそのゆれをほほえんで見ているしかないのですね。
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,...
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...
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...
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...
Yesterday we have finally released CafeOBJ 1.5.0. This marks a great step forward in a long development history of this algebraic specification and verification language. To quote from our README: CafeOBJ is a new...
It has been a long time that I haven’t programmed Lisp, but due to my involvement in , I recently have re-started to program Lisp, in particular Common Lisp, which is the implementation language...
