Early stage project intended to become a compendium of information on
- why static types are useful,
- examples of them in action, and
- implementations of useful types in various languages.
The primary aim is padagogical, so where possible there will be pointers to existing projects better suited for real-world use.
A library of libraries for functional and type-safe programming in C#.