http://www.cs.chalmers.se/~augustss/cayenne/index.html

Experimentieller Ableger von SpracheHaskell um ein System mit "abhängigen Typen" (dependent types), gewissermaßen ein Typsystem "noch höherer Ordnung" (Cayenne -- HOTter than Haskell!).

Wahlspruch: Dependent Types, Dependable Code