Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-10-03 | lint: Allow annotating results with a time | Lars-Dominik Braun | 1 | -25/+35 |
2022-09-07 | Copy-edit specification | Lars-Dominik Braun | 1 | -51/+53 |
2022-09-03 | lint: Drop argument unpacking and error case | Lars-Dominik Braun | 1 | -2/+1 |
2022-08-29 | lint: Add check for circular graph | Lars-Dominik Braun | 1 | -3/+39 |
2022-08-29 | graph: Use node id when querying incoming/outcoming nodes/edges | Lars-Dominik Braun | 1 | -6/+6 |
2022-08-28 | lint: Add uniqueness test for Results/Alternatives | Lars-Dominik Braun | 1 | -2/+30 |
2022-08-28 | lint: Resolve and remove some todo’s | Lars-Dominik Braun | 1 | -42/+9 |
2020-08-25 | Fix links | Lars-Dominik Braun | 1 | -1/+3 |
2020-08-24 | GHC 8.8, cabal 3, pandoc 2.10 compatibility | Lars-Dominik Braun | 1 | -0/+432 |