diff options
| author | Eduardo Julian | 2017-10-21 00:22:19 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-21 00:22:19 -0400 |
| commit | a564de58ec5c91c8069abc3848649a4a0cfd7956 (patch) | |
| tree | e25f5b62c30ca7a030efff2da33525b35f5ea372 /.gitignore | |
| parent | e2500061ed74ffccb299c2923894dd549238112b (diff) | |
- Added circular rings of type-variables to keep track of unified variables during type-checking.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions