radexp documents

Swifty Methods, Swifty APIs
Software Swifty Methods, Swifty APIs
Dependent types (and other ideas for guaranteeing correctness with types)
Software Dependent types (and other ideas for guaranteeing correctness with types)