Commits

Show all
Author Commit Message Labels Comments Date
Paweł Wieczorek
* .
Tags
eval
Paweł Wieczorek
* super
Paweł Wieczorek
* added natural numbers (without recursor), commented
Paweł Wieczorek
* added untyped lambda evaluator