A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197
Primary LanguageHaskell