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