Repository navigation

Catrina

Public

About

a categorical programming language (WIP)

category-theory functional-programming programming-language programming-language-theory

GPL-3.0 license

16 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.velle		.velle
app		app
stdlib		stdlib
tools/vim		tools/vim
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
TODO.md		TODO.md
catrina.cabal		catrina.cabal
catrina.nix		catrina.nix
default.nix		default.nix

Repository files navigation

Catrina

For any extra information, go check out the wiki.

Also check out lawvere, which is the project Catrina stole all the wonderful ideas from.

About

a categorical programming language (WIP)

category-theory functional-programming programming-language programming-language-theory

GPL-3.0 license

16 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages