Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2022-08-29 | graph: Use node id when querying incoming/outcoming nodes/edges | Lars-Dominik Braun | 2 | -10/+10 | |
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 | |
2022-08-28 | Fix link rendering | Lars-Dominik Braun | 1 | -2/+3 | |
Move it into text, because pandoc’s .rst parser is limited. | |||||
2020-08-25 | Fix links | Lars-Dominik Braun | 4 | -18/+23 | |
pandoc does not handle internal links well for some reason, so replace them with HTML anchors and pray for the best. | |||||
2020-08-24 | GHC 8.8, cabal 3, pandoc 2.10 compatibility | Lars-Dominik Braun | 6 | -0/+1489 | |
Move files around to separate Pesto (the library) and Pesto (the executables). Fixes for pandoc API changes. |