au-ts / cogent

Cogent Project

https://trustworthy.systems/projects/TS/cogent.pml

Other

158 stars 26 forks source link

after fields support & constraint-based typechecker for layouts #389

Closed zebraNeon closed 3 years ago

zebraNeon commented 3 years ago

366 rebased to master

zilinc commented 3 years ago

Merged (concluded at 08614ba7d08cb85e934e84b78591762c6b12f5df).