GitHub - AllThing/GottesmanTypes: A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197

AllThing / GottesmanTypes Public

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

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.gitignore		.gitignore
Bool.hs		Bool.hs
Complex.hs		Complex.hs
Gottesman.hs		Gottesman.hs
Int.hs		Int.hs
List.hs		List.hs
Matrix.hs		Matrix.hs
Nat.hs		Nat.hs
Pair.hs		Pair.hs
Rational.hs		Rational.hs
package.yaml		package.yaml

Provide feedback