colobo

We have hosted the application colobo in order to run this application in our online workstations with Wine or directly.

Quick description about colobo:

COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.

Features:

• I,S,K Combinatory logic reduction steps

Audience: Science/Research.
User interface: Console/Terminal, GTK+.
Programming Language: OCaml (Objective Caml).
Categories: