Lemon

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