Experiment with expressing the Swift type system as value types
Swift
SwiftTypeSystem
An experimental description of the Swift type system as value types,
with the goal of having a single representation that can be used for
both tools and reflection.