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