GHC plugin for constant math elimination
Why do you think that https://github.com/idris-lang/Idris-dev is a good alternative to const-math-ghc-plugin
GHC plugin for constant math elimination
Why do you think that https://github.com/idris-lang/Idris-dev is a good alternative to const-math-ghc-plugin