diff options
Diffstat (limited to 'users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property')
| -rw-r--r-- | users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property b/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property deleted file mode 100644 index bf39a2a3eecb..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property +++ /dev/null @@ -1,9 +0,0 @@ -# -*- mode: snippet -*- -# name: Hedgehog Property -# key: hprop -# expand-env: ((yas-indent-line 'fixed)) -# -- -hprop_${1:somethingIsAlwaysTrue} :: Property -hprop_$1 = property $ do - ${2:x} <- forAll ${3:Gen.int $ Range.linear 1 100} - ${4:x === x} \ No newline at end of file |