2 ms·Cicada Language: A New Dependently Typed Language2 points by guerrilla 4y agomc4ndr3 4y agoHow does Cicada compare to Coq, Agda?