aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/Properties.hs
diff options
context:
space:
mode:
authorAlex Biehl <alexbiehl@gmail.com>2017-06-03 20:37:28 +0200
committerGitHub <noreply@github.com>2017-06-03 20:37:28 +0200
commitbfb3563f730fd1c973a6611a0fba3435fb1df489 (patch)
tree78fe1e944e74c7840bc64cb03ea33b4e23e0ed7e /html-test/src/Properties.hs
parent75e1e19d0d6c139c3c7d9b77b2928e6eb286dd48 (diff)
Allow user defined signatures for pattern synonyms (#631)
Diffstat (limited to 'html-test/src/Properties.hs')
0 files changed, 0 insertions, 0 deletions