A variant of the _(Haskell) lazy *(functional) *(programming language) with *(dependent types).

<ul class="links">
<li>_(The home page|http://www.md.chalmers.se/~augustss/cayenne/)
</ul>
