Started to design a type system based on Stephen Dolan's "Algebraic Subtyping" thesis and dependent typing.
Started to design a type system based on Stephen Dolan's "Algebraic Subtyping" thesis and dependent typing.

rocketnia/era,rocketnia/era,rocketnia/era