For any extra information, go check out the wiki.
Also check out lawvere, which is the project Catrina stole all the wonderful ideas from.
a categorical programming language (WIP)
License
HiiGHoVuTi/Catrina
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
a categorical programming language (WIP)
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published