Skip to content
GitLab
Closed
Issue created by Porges@trac-Porges

Implement "Quantified constraints" proposal

See: Quantifiedconstraintswikipage

Edited by Simon Peyton Jones
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information