summaryrefslogtreecommitdiff
path: root/src/lib/Codec/Pesto/Lint.lhs
AgeCommit message (Collapse)AuthorFilesLines
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 Braun1-51/+53
2022-09-03lint: Drop argument unpacking and error caseLars-Dominik Braun1-2/+1
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 Braun1-6/+6
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
2020-08-25Fix linksLars-Dominik Braun1-1/+3
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 Braun1-0/+432
Move files around to separate Pesto (the library) and Pesto (the executables). Fixes for pandoc API changes.