Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Clean up some. In particular: | M Farkas-Dyck | 2022-09-17 | 1 | -3/+2 |
* | Fix typos | Eric Lindblad | 2022-09-14 | 1 | -1/+1 |
* | Add compiler linting to CI | Hécate | 2021-03-25 | 1 | -1/+0 |
* | Reimplement Stream in "yoneda" style for efficiency | Matthew Pickering | 2021-02-26 | 1 | -78/+87 |
* | Modules: Utils and Data (#13009) | Sylvain Henry | 2020-04-26 | 1 | -0/+135 |