Lemon is a *(functional) *(programming language) based on typed _(lambda calculus) with inductive and coinductive types.

<ul class="links">
<li>Lemon's _(home page|http://www.cis.ksu.edu/~bhoward/lemon.html).</li>
</ul>
