A Swift μ-Library for Somewhat Dependent Types
GitHub
http://blog.benjamin-encz.de/validated-a-swift-m-library-for-somewhat-dependent-types/