We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Welcome to the haskellcontracts wiki!
Mailing list: http://groups.google.com/group/haskellcontracts
An approach to lemmas is described in https://docs.google.com/document/d/1YYG5lYkLfsUiRoIpsDDRtHaGjwST3reqD2qHsj51zFY/edit?hl=en_US#