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