polux/lambda-diagrams

Animations of lambda term reduction sequences

语言：Haskell · GitHub 星标：171 · Fork：11

话题：lambda-calculus

在 GitHub 上查看原仓库