summaryrefslogtreecommitdiff
path: root/src/lib/Codec
AgeCommit message (Collapse)AuthorFilesLines
2023-01-19graph: Add ingredient mergingHEADmasterLars-Dominik Braun1-2/+87
2022-10-03lint: Allow annotating results with a timeLars-Dominik Braun1-25/+35
Used to indicate how long it takes to achieve a result.
2022-09-07Copy-edit specificationLars-Dominik Braun5-228/+257
2022-09-04Change GitHub URLs to CodebergLars-Dominik Braun1-2/+2
2022-09-03lint: Drop argument unpacking and error caseLars-Dominik Braun1-2/+1
2022-09-03graph: Move bullet point into textLars-Dominik Braun1-4/+4
2022-08-29serialize: Resolve todosLars-Dominik Braun1-5/+0
2022-08-29graph: Use code markup for code examplesLars-Dominik Braun1-1/+2
2022-08-29lint: Add check for circular graphLars-Dominik Braun1-3/+39
2022-08-29graph: Use node id when querying incoming/outcoming nodes/edgesLars-Dominik Braun2-10/+10
2022-08-28lint: Add uniqueness test for Results/AlternativesLars-Dominik Braun1-2/+30
2022-08-28lint: Resolve and remove some todo’sLars-Dominik Braun1-42/+9
2022-08-28Fix link renderingLars-Dominik Braun1-2/+3
Move it into text, because pandoc’s .rst parser is limited.
2020-08-25Fix linksLars-Dominik Braun4-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-24GHC 8.8, cabal 3, pandoc 2.10 compatibilityLars-Dominik Braun6-0/+1489
Move files around to separate Pesto (the library) and Pesto (the executables). Fixes for pandoc API changes.
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-26 23:06:15 +0000