aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJosh Chen2019-02-11 22:44:21 +0100
committerJosh Chen2019-02-11 22:44:21 +0100
commit76b57317d7568f4dcd673b1b8085601c6c723355 (patch)
tree33cbdbbd56a4656bf9b29569ebddba715609bb8b /.gitignore
parenta5692e0ba36b372b9175d7b356f4b2fd1ee3d663 (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions