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

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