diff options
author | Eduardo Julian | 2017-05-20 18:29:24 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-05-20 18:29:24 -0400 |
commit | 8f88e4bf4b380e2f09d046fbef05fca452eae62c (patch) | |
tree | 5a8a67dae8e40cbc2586d3356268583e6eb5098d /.gitignore | |
parent | 76d209d7b33f713259bd9ddb453d571f814005c9 (diff) |
WIP
- Added analysis and type-inference for records and tagged variants.
- Extracted inference code to a separate module for better reuse.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions