diff options
| author | Camil Staps | 2018-04-21 11:12:06 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-21 11:12:06 +0200 |
| commit | 39410dcec77d33c95eedd4480a3121cf352bcf1b (patch) | |
| tree | c82db6a1c815ad2650e727c17992f2a6126fc15c /interpreter/.gitignore | |
| parent | Add print_eval for NODE_APP (diff) | |
Add fixpoint peano addition example
Diffstat (limited to 'interpreter/.gitignore')
0 files changed, 0 insertions, 0 deletions