Andreas Abel
Andreas Abel
```agda data Bool : Set where false : Bool true : Bool If : Set -> Set -> Bool -> Set If x y true = x If x y...
This might just have been a wild goose chase... Seems first #229 should be finished. - #229
Great if you could support v2.2 of the standard library: https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary Also, support for Agda 2.7.0.1 has not been released: - #223 I could help with pushing tags if you...
Is this something that can be fixed in the Alpine setup? - https://github.com/actions/runner-images/issues/12324 - https://github.com/agda/agda/pull/7919 Basically, with GHA upgrading their image to 20250527.1.0 compilation with GHC under Alpine breaks in...
https://github.com/haskellfoundation/error-message-index/blob/6b3fd8c96a89a42c2ffd35a60a65dbdaff831e5e/message-index/messages/GHC-90584/index.md?plain=1#L9-L10 I am missing the information here: - since _when_ does deriving `Typeable` have no effect (starting with which GHC version)? - link to GHC documentation of the mentioned warning/option...
I'd say the `haskell_stack` gimmick, while nicely displaying the ghc version if I am in a directory with `stack.yaml`, does a bit too much. 1. It is slow. When I...
When reading `Data.List.NonEmpty.Extra`, I noticed conditionals (`#if`) querying the GHC version to avoid clashes with new functions introduced into `base`. https://github.com/ndmitchell/extra/blob/c9ac297911f15c68616ab2ea04bd2a5ff003227f/src/Data/List/NonEmpty/Extra.hs#L142 These conditionals should really query the version of `base`...
https://github.com/timbod7/haskell-chart/blob/08c39d3dce1650eda8d5ec31883e83aa99b928bc/chart/Chart.cabal#L22 See https://github.com/andreasabel/agda-issues/actions/runs/18942700454/job/54105654492#step:20:84 ``` Graphics/Rendering/Chart/Geometry.hs:198:10: error: Not in scope: type constructor or class ‘Semigroup’ ``` See also: - #259
Nice, TTT in Agda. 😆 https://github.com/TOTBWF/agda-tic-tac-toe/blob/836b920ee79d666794ee61a231fbe4c8f1cf3b20/src/Games/TicTacToe.agda#L96-L100 So you cannot win by filling the anti-diagonal?
If one wants to use render annotated `Doc`s from `pretty` on the terminal, there are the [`renderDecorated(M)` functions](https://hackage.haskell.org/package/pretty-1.1.3.6/docs/Text-PrettyPrint-Annotated-HughesPJ.html#v:renderDecorated). These expect `String`s for starting an annotation and ending an annotation, which...