Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add .stylish-haskell.yaml that matches Tom's preferences | Mikolaj Konarski | 39 hours |
| | | | | | to be automatically applied at buffer save or periodically applied with find -not -path '*/\.git/*' -name "*.hs" -type f| xargs stylish-haskell -i | ||
* | Split and uniformly rename Shape modules | Mikolaj Konarski | 39 hours |
| | |||
* | Rename some commuting lemmas to better names | Tom Smeding | 2024-05-31 |
| | |||
* | Clearer module purposes | Tom Smeding | 2024-05-30 |
Thanks Mikolaj for discussion |