Fake dependent types in Haskell using singletons
Why do you think that https://github.com/timvisee/advent-of-code-2020 is a good alternative to singletons
Fake dependent types in Haskell using singletons
Why do you think that https://github.com/timvisee/advent-of-code-2020 is a good alternative to singletons