Install cafeobj-mode by entering the following commands in the terminal:
sudo apt update sudo apt install cafeobj-mode
Description:
Emacs major mode for editing CafeOBJ source code
cafeobj-mode provides syntax highlighting and indentation for CafeOBJ source code inside emacs. Included is the ability to interact with a CafeOBJ interpreter inside emacs and to send expressions from CafeOBJ source files to the running interpreter.
Homepage: http://cafeobj.org/
Version: 1.5.7-1
Section: universe/science