Document Typesystem & Constraints

discipl / flinteditor-mps

GNU General Public License v3.0

2 stars 3 forks source link

Closed TristanAlbers closed 2 years ago

TristanAlbers commented 2 years ago

Which constraint does what, why, when

TristanAlbers commented 2 years ago

Concept version can be found here