Andreas Abel

Please add a changelog entry for the latest release (3.3.8).

Release `blaze-html` with a `blaze-markup >= 0.8.3` lower bound

1

`blaze-markup-0.8.3` added a `ToMarkup` instance for non-empty strings. To be able to use `toHtml` on non-empty strings with `blaze-html` I need to explicitly depend on `blaze-markup >= 0.8.3`. Sadly, GHC...

Haskell CI on Github actions, bytestring 0.12

1

- Move Haskell CI to github actions - Badges for Hackage and Stackage - allow bytestring-0.12 - README: delete sentence "currently in very experimental stage" CI does not run on...

CHANGELOG missing

2

Please add a changelog.

This code seems to parse the version of Agda from the output of `agda -V`: https://github.com/banacorn/agda-mode-vscode/blob/905ec6189976b98f6806d73c735c9602c0f39bda/src/Connection/Emacs/Connection__Emacs.res#L35 Agda >= 2.6.4 should have a `--numeric-version` option. - https://github.com/agda/agda/pull/6522 This could be utilized...

- From Agda 2.6.3 use `Agda.TypeChecking.Error.explainWhyInScope` - Use `showInfoError` from `EmacsTop` rather than duplicating it here - v0.2.6.4.0: Build with and embed Agda-2.6.4 - WIP: migrate to lsp-2 (does not...

Should flag `Example` default to `True`?

7

https://github.com/UnkindPartition/ansi-terminal/blob/2a4a6d89980801ae353fb573753d6205f90115e7/ansi-terminal/ansi-terminal.cabal#L28-L30 I am getting: ``` $ cabal run ansi-terminal-example ... Error: cabal: Cannot run the executable 'ansi-terminal-example' because it is marked as 'buildable: False' within the 'ansi-terminal.cabal' file (at least...

Search: display of search results is broken on PR builds

4

First, big thanks! for providing this doc building & hosting service which we use for the Agda programming language. I noticed that the display of search results does not fully...

Undefined control sequence `\DeclareUnicodeCharacter` redux

3

This is a reopening of #800, which was not resolved, but sidestepped by using `\newunicodechar` instead of `\DeclareUnicodeCharacter`. MWE: ```latex \documentclass{article} \usepackage[utf8]{inputenc} \DeclareUnicodeCharacter{00AC}{\ensuremath{\neg}} \begin{document} ¬ \end{document} ``` ``` $ pdflatex...

Call for maintainer(s)

7

This package could benefit from an active maintainer. I am only a steward, keeping things working in the latest Haskell ecosystem. However, there some requests for feature extensions. These mostly...