diff options
| author | Josh Chen | 2020-07-11 15:13:20 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-11 15:13:20 +0200 |
| commit | 79659cb0edf1eea026a93955403a33a1f38f6123 (patch) | |
| tree | cc2e5f96a48a450b5b178304232509bedfdb49b9 /.gitignore | |
| parent | 7d59cf17b60d196c2a8bb93e5b1927748599107e (diff) | |
Defined annotated terms to be used in future typechecking improvements
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions