diff options
| author | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-20 21:13:37 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-20 21:13:37 +0100 |
| commit | e885cb8b286cccfb94cc5f81a3acd6f259ed6c28 (patch) | |
| tree | b56c3415009730a6219b8636503e22beb8cc1c71 /.gitignore | |
| parent | Evaluator (diff) | |
Add evaluation of whole programs, typechecking functions and mainmain
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions