GitHub repository: DougGregor/SwiftTypeSystem
Primary language: Swift
Created: 2022-11-30T18:50:55Z
Description: Experiment with expressing the Swift type system as value types