type-system-implementations. An ongoing project to implement and document many different algorithmic type systems

github.com/SimonJF/type-system-implementations
by @SimonJF

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.