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