Cicada Language: A New Dependently Typed Language

 (cicada-lang.org)

2 points | by guerrilla 692 days ago

1 comments

  • mc4ndr3 692 days ago
    How does Cicada compare to Coq, Agda?