Install cafeobj-mode by entering the following commands in the terminal:
sudo apt update sudo apt install cafeobj-mode
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.