Fake dependent types in Haskell using singletons
Why do you think that https://github.com/dmjio/miso is a good alternative to singletons
Fake dependent types in Haskell using singletons
Why do you think that https://github.com/dmjio/miso is a good alternative to singletons