jesper, 6 months ago to haskell 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
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