Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement DeepSubsumption | Simon Peyton Jones | 2022-07-25 | 1 | -0/+18 |
* | Use a class to check validity of withDictwip/withdict | Krzysztof Gogolewski | 2022-05-27 | 1 | -8/+6 |
* | Redesign withDict (formerly magicDict) | Ryan Scott | 2021-04-29 | 1 | -0/+44 |