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
edwinans/catprog
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|