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.
$ dune build
$ dune exec ./src/compiler.exe
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.
$ dune build
$ dune exec ./src/compiler.exe