Andreas Abel

@mortberg @MatthewDaggitt > If you wanted to be consistent with the standard library, we call it `experimental` (see our [docs](https://github.com/agda/agda-stdlib/blob/master/notes/updating-experimental.txt?rgh-link-date=2022-03-26T19%3A18%3A25Z)) Maybe `standard-library` could rename it to `Agda-master` instead? `experimental` is...

I found that this also concerns pragmas, e.g. ```haskell {-| ... > {-# FOREIGN GHC import Prelude (Char, Double, Integer, String) #-} > {-# FOREIGN GHC import qualified Data.Text #-}...

Something like this could also be useful when you write new packages. Then `@since forever` or simply `@since` (with no version) could be understood that the item has existed since...

@mrhania When will the day come?

> Ah, I've also been looking at `shh` and I like the library. Looks like it handles pipes quite nice. Unfortunately, `shh` works only on Unix system Maybe use https://github.com/gregwebs/Shelly.hs...

Is this still a problem?

References: - https://github.com/haskell/hackage-security/blob/1cee235a97a9439a58953a83fcfdd4449fe7c7a3/hackage-security/src/Text/JSON/Canonical.hs - https://hackage.haskell.org/package/canonical-json `aeson` is very slow to compile and provides many features not needed here, so I'd advice against. `canonical-json` is atm outdated and needs to be...

This project does not build on GHC 8.8 or higher: https://matrix.hackage.haskell.org/#/package/dhall-to-cabal Making it usable might be the first step to get users. Folks seldom bet on dead horses.

This PR is 5 years old now. Is there still interest in such a function?

Ok, I wait for them to show up here! ;-)