Cicada Language is adependently typed programming language and aninteractive theorem prover.
The aim of cicada project is to help people understand that developingsoftware and developing mathematics are increasingly the same kind ofactivity, and people who practice these developments can learn fromeach other, and help each other in very good ways.
Cicada Language is adependently typed programming language and aninteractive theorem prover.
The aim of cicada project is to help people understand that developingsoftware and developing mathematics are increasingly the same kind ofactivity, and people who practice these developments can learn fromeach other, and help each other in very good ways.