GuillaumeGen/GottesmanTypes
A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197
Haskell
No issues in this repository yet.
A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197
Haskell
No issues in this repository yet.