Andreas Abel

Bad error message `No hackage.haskell.org repository` for legacy `remote-repo` entry in the cabal configuration

3

It would be good if the help texts contained some example uses. I fail to discover how to invoke `cabal-plan` to get my license report. This is what I tried:...

Clean up API (fixes #43, replaces #44).

~~Better docs for `Pattern` module~~ (fixed in 1.3.2), fix `showPattern` to round-trip. It is claimed that `showPattern` round-trips, but does not: ``` >>> getAllTextMatches ("a \" \\" =~ "[a]") ::...

E.g., https://hackage.haskell.org/package/regex-tdfa-1.3.1.3/docs/Text-Regex-TDFA-Common.html exports lots of auxiliary functions. These should be removed. Needs a major version bump.

As hackage trustee, I added upper bound `yaml < 0.11.7` as proxy for `aeson < 2` in a hackage revision.

Could help, for instance, I do not know `Partial`...

Redundant import of Data.List in SOAS.Context

1

Seems like the import of `Data.List` is superfluous now that you implement lists yourself: https://github.com/DimaSamoz/agda-soas/blob/17b9b1bdad45003f25ec89b9fef1918b62c82234/SOAS/Context.agda#L7

This project looks DEAD

3

Is this project abandoned? - not been updated to latest GHC versions - last commit 3 years ago

Add category laws for sublists

1

` Data.List.Relation.Binary.Sublist.Setoid` defines the preorder of order-preserving embeddings of lists, ```agda ⊆-isPreorder : IsPreorder _≋_ _⊆_ ⊆-isPreorder = record { isEquivalence = ≋-isEquivalence ; reflexive = ⊆-reflexive ; trans =...

Workflow run at: https://github.com/andreasabel/hakyll/pull/1