@cicada-lang/cicada (npm): [ [HOMEPAGE](https://cicada-lang.org) | [MANUAL](https://readonly.link/manuals/cicada-lang/cicada) | [PLAY](https://cicada-lang.org/playground) | [ABOUT](https://cicada-lang.org/about) ]
Keywords: cicada|dependent-record-types|dependent-type-theory|dependent-types|interactive-theorem-proving|language|programming-language|prover|repl|theorem-prover|type-system|type-theory