GitHub repository: Ben-G/Validated
Primary language: Swift
Description: A Swift μ-Library for Somewhat Dependent Types