gitextract_7vmntj28/

├── .gitignore
├── CHANGELOG.md
├── LICENSE
├── README.md
├── app/
│   └── Main.hs
├── cabal.project
├── kind-lang.cabal
├── main.kindc
└── src/
    ├── Kind/
    │   ├── CLI.hs
    │   ├── Check.hs
    │   ├── CompileJS.hs
    │   ├── Env.hs
    │   ├── Equal.hs
    │   ├── Parse.hs
    │   ├── Reduce.hs
    │   ├── Show.hs
    │   ├── Type.hs
    │   └── Util.hs
    └── Kind.hs