Age | Commit message (Expand) | Author |
---|---|---|
2021-06-11 | Better support for HOL parsing and set up (#6697) | Haniel Barbosa |
2021-04-25 | More check models (#6439) | Andrew Reynolds |
2020-03-22 | Sort inference does not handle APPLY_UF when higher-order is enabled (#4138) | Andrew Reynolds |