Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
#2893
Closed
Open
Issue created
Dec 23, 2008
by
Porges
@trac-Porges
Implement "Quantified constraints" proposal
See:
Quantifiedconstraintswikipage
Edited
Mar 10, 2019
by
Simon Peyton Jones
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information