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

robertkleffner / inference-playground Public

Implementing and combining various type systems with principal type schemes

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
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