summaryrefslogtreecommitdiff
path: root/src/Lemmas.hs
Commit message (Expand)AuthorAge
* WIP autoWeakTom Smeding2024-09-02
* Finish rewriteTom Smeding2024-01-25
* WIP rewrite code transform typingTom Smeding2024-01-24