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.
There are very few building blocks in the language, but much syntactic sugar to make it more readable. The syntax is largely borrowed from Haskell.
There is no special module system, because with dependent types records (products) are powerful enough to define modules.
The main aim with Cayenne is not to use the types to express specifications (although this can be done), but rather to use the type system to give type to more functions. An example of a function that can be given a type in Cayenne is printf.
The Cayenne implementation is written in Haskell, and it also translates to Haskell.
Louisiana-Lafayette does not have an official mascot. In recent years the university has had several mascots including live bulldogs (when the athletic teams were named the Bulldogs), Mr. Ragin' Cajun (animated), and the Fabulous Cajun Chicken (the most popular mascot in the history of the school). Cayenne was created using an "out of the box" method. Instead of being a physical representation of Ragin' Cajuns, like most mascots are, Cayenne is the embodiment of the Ragin' Cajun spirit of Acadiana.
Cayenne was introduced in 2000, and changes clothes depending on what sporting event he's at, e.g., he wears a Ragin' Cajun football uniform at the football games, and a Louisiana-Lafayette basketball jersey for the basketball games.