Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/cicada-lang/cicada
Cicada Language
cicada dependent-record-types dependent-type-theory dependent-types interactive-theorem-proving language programming-language prover repl theorem-prover type-system type-theory
Last synced: 16 Apr 2024