**Jesper Agdakx** @jesper@agda.club · Nov 22, 2023, 13:21

**Jesper Agdakx** @jesper@agda.club · Nov 22, 2023, 13:21

Jesper Agdakx @jesper@agda.club

Nov 22, 2023, 13:21

I really need this in my Haskell: github.com/ghc-proposals/ghc-proposals/pull/621

Sadly, even if it gets merged it will take at least 5 more years before we can use it in the Agda codebase.

#Haskell #Agda #LinearConstraints

**l'empathie mécanique** @dpwiz@social.cleverlibre.org · 2023-11-22T14:38:24Z

l'empathie mécanique @dpwiz@social.cleverlibre.org

@jesper Better start merging...

Why 5 more years for Agda? Aren't you in control of your toolchain?

Nov 22, 2023, 14:38 · · · ·

**Jesper Agdakx** @jesper@agda.club · Nov 22, 2023, 14:58

**Jesper Agdakx** @jesper@agda.club · Nov 22, 2023, 14:58

Nov 22, 2023, 14:58

Jesper Agdakx @jesper@agda.club

@dpwiz We want to continue to support building Agda with older versions of GHC. In particular, our ambition is to make it possible to build Agda with whatever version of GHC ships with the latest LTS release of Ubuntu.

Nowadays this might be less relevant since we have good ways of managing GHC versions (in particular `ghcup`), but we still have the policy.

Trending now

Resources

Developers

What is Mastodon?

social.cleverlibre.org

More…