Content deleted Content added
Pi Delport (talk | contribs) m moved Cayenne programming language to Cayenne (programming language): naming convention |
|||
Line 32:
== External links ==
*The [http://www.dependent-types.org/ Cayenne home page]
[[Category:Programming languages]]
|