1. Home
  2. Computer
  3. Programmin­g
  4. Lemon

Computer · Programmin­g

Lemon

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About Lemon

Lemon- Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums, products, and mu and nu constructors for least (inductive) and greatest (coinductive) solutions to recursive type equations.

Tags

Fortran

Where it sits

Computer Programmin­g

More in Programmin­g

See all →