correct-behavior-through-type-safety. Talk about using types to prove correctness

github.com/jspahrsummers/correct-behavior-through-type-safety

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.