cucapra/lambdalab

interactive λ-calculus for learning

语言：TypeScript · GitHub 星标：38 · Fork：4

话题：education · lambda-calculus

在 GitHub 上查看原仓库