diff options
| author | Eduardo Julian | 2016-07-13 14:58:00 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-07-13 14:58:00 -0400 |
| commit | 8db393f50d8cb69d8bb46e7891bc4c0448e42a20 (patch) | |
| tree | 38596a1c8c5245d5a291b89d82fe8259e8c9c4b0 /README.md | |
| parent | 1c3833bc75b9b7bfa1a658e63ceb11d4e4707ce4 (diff) | |
- Optimized the type-checker slightly by now using a 2-tuple for the results, but instead just returning the fixpoints.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions