This repository is not active
GuillaumeGen/GottesmanTypes
A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197
Haskell
A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197
Haskell
This repository is not active