cicada-lang (npm): Welcome **\*^-^\*/**
Keywords: cicada|dependent-record-types|dependent-type-theory|dependent-types|interactive-theorem-proving|language|programming-language|prover|repl|theorem-prover|type-system|type-theory