GitHub - robertkleffner/inference-playground: Implementing and combining various type systems with principal type schemes · GitHub

Name		Name	Last commit message	Last commit date
Inference.Basic.Test		Inference.Basic.Test
Inference.Basic		Inference.Basic
Inference.Common		Inference.Common
Inference.Dots.Test		Inference.Dots.Test
Inference.Dots		Inference.Dots
Inference.Typeclasses.Test		Inference.Typeclasses.Test
Inference.Typeclasses		Inference.Typeclasses
Inference.Units.Test		Inference.Units.Test
Inference.Units		Inference.Units
.gitignore		.gitignore
Inference.sln		Inference.sln

About

Implementing and combining various type systems with principal type schemes

abelian-groups type-inference unification units-of-measure

2 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages