Skip to content

Patch Agda to accommodate ghc!8529, doctest for ghc!8228

Ryan Scott requested to merge 2022-07-07 into master

Merge request reports