Kind
A modern proof language
File Explorer
Download Latest Version (.zip)- Main.hs
- Check.hs
- CLI.hs
- CompileJS.hs
- Env.hs
- Equal.hs
- Parse.hs
- Reduce.hs
- Show.hs
- Type.hs
- Util.hs
- Kind.hs
- .gitignore
- cabal.project
- CHANGELOG.md
- kind-lang.cabal
- LICENSE
- main.kindc
- README.md
// repository documentation
Was this content helpful?
(0 ratings)