Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add .stylish-haskell.yaml that matches Tom's preferences | Mikolaj Konarski | 23 hours |
* | Split and uniformly rename Shape modules | Mikolaj Konarski | 24 hours |
* | Rename some commuting lemmas to better names | Tom Smeding | 2024-05-31 |
* | Clearer module purposes | Tom Smeding | 2024-05-30 |