Andreas Abel
Andreas Abel
A confluence proof using a reduction relation (kappa) and a relation comparing syntax up to proof-irrelevance (==p) was presented first by Benjamin Werner in his LMCS 2008 paper _On the...
This warning can be fixed in a backwards-compatible way by adding `TypeOperators` to `default-extensions:` in the `.cabal` file. ``` Building library for dlist-1.0.. [1 of 5] Compiling Data.DList.Internal ( Data/DList/Internal.hs,...
https://hackage.haskell.org/package/dlist-1.0 lists a module `Data.DList.Unsafe`, but I cannot click it to access its documentation.
( Lifted from - https://github.com/haskell/hackage-server/issues/1105 ) Rendering ```md - foo - `a|b` - bar ``` with `gfmExtensions` included in the parser gives this: foo - a|b bar rather than this:...
For the Agda code, @nad observed a performance increase from hashtables 1.2.4.2 to 1.3, see: - https://github.com/agda/agda/issues/5966#issuecomment-1161401330 He reports that this fixes a performance regression for him, but does not...
Leaving through the releases of `apply-refact` on hackage, I see no upper bounds on `ghc` starting with release `0.7.0.0`. This may not reflect buildability correctly, see e.g. #114. What would...
https://hackage.haskell.org/package/configurator shows no changelog. Please add one!
In the light of issue #14, could in the 21st century we have something better structured than: ```haskell type GlobPattern = String ``` I know, these great 1970s, where one...
Hi, I was missing a simple entry point like `find` but which also returns the `FileInfo`. ```haskell -- | Search a directory recursively, with recursion controlled by a -- 'RecursionPredicate'....
This project appears to be unmaintained. There hasn't been any visible activity on this repo in 4 years. The published versions do not build with GHC >= 8.8. I have...