Mike Thyer
2 applications totalLast updated: Apr 19th 2012, 20:23 GMT
Full list of applications developed by Mike Thyer:
- 163 downloads
- 1 KB
Lambda Animator 1.0
Allows you to experiment with reducti0on strategies in the lambda calculus
Jan 13th 2012, 00:34 GMT