/catprog

Implementation of a Categorical Programming Language

Primary LanguageOCamlMIT LicenseMIT

catprog

An implementation of Charity in OCaml

Charity is a categorical programming language currently being developed by The Charity Development Group in The Department of Computer Science at The University of Calgary, Canada.

Build

$ dune build

Execution

$ dune exec ./src/compiler.exe