ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
Why do you think that https://github.com/oisdk/nat-sized-numbers is a good alternative to limp
ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
Why do you think that https://github.com/oisdk/nat-sized-numbers is a good alternative to limp