forked from HigherOrderCO/Kind
A modern proof language
License
HigherOrderCO/Kind-Legacy
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
A modern proof language
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- JavaScript 71.6%
- Scheme 23.4%
- Haskell 5.0%
- HTML 0.0%
- Makefile 0.0%
- Nix 0.0%