GitHub repository: nikita-leonov/DependentType
Primary language: Swift
Created: 2015-11-14T05:54:15Z
Description: Experiment: Compile time proved expressions by simulating DependentType behaviors.