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 '')
0 files changed, 0 insertions, 0 deletions