e/Cayenne programming language

Information
has gloss	eng: Cayenne is a functional programming language with dependent types. The basic types are functions, products, and sums. Functions and products use dependent types to gain additional power.
lexicalization	eng: Cayenne programming language
lexicalization	eng: Cayenne
instance of	c/Dependently-typed formal languages