gnal-lambda A racket language based on lambda calculus + sugar for ADTs and IO. #lang gnal λ Is a lambda calculus. #lang gnal λ/adt Is lambda calculus + sugar for ADTs #lang gnal λ/io Is lambda calculus + sugar for ADTs and IO