sylvia (hackage): :evergreen_tree: Logic puzzle game based on the lambda calculus
Keywords: game|program