Fake dependent types in Haskell using singletons
Primary LanguageHaskell
No issues in this repository yet.