diff options
author | Josh Chen | 2019-02-11 22:44:21 +0100 |
---|---|---|
committer | Josh Chen | 2019-02-11 22:44:21 +0100 |
commit | 76b57317d7568f4dcd673b1b8085601c6c723355 (patch) | |
tree | 33cbdbbd56a4656bf9b29569ebddba715609bb8b /ROOT | |
parent | a5692e0ba36b372b9175d7b356f4b2fd1ee3d663 (diff) |
Organize this commit as a backup of the work on type inference done so far; learnt that I probably need to take a different approach. In particular, should first make the constants completely monomorphic, and then work on full proper type inference, rather than the heuristic approach taken here.
Diffstat (limited to 'ROOT')
0 files changed, 0 insertions, 0 deletions