Shadowgraph
Trending
About
Sign in
polux/lambda-diagrams
Animations of lambda term reduction sequences
Haskell
170
1 commits
updated May 30, 2018
See the code
lambda-calculus
Contributors
polux
1 commits
Languages
Haskell
100.0%
polux/lambda-diagrams
Animations of lambda term reduction sequences
Haskell
170
1 commits
updated May 30, 2018
See the code
lambda-calculus
Contributors
polux
1 commits
Languages
Haskell
100.0%
