acc2433b65
I'm still on doom, but without all the cruft I've accumulated over the last ~6 years it's actually good and fast and nice. Also, the config is literate now! The old emacs is still in .emacs.d, since occasionally I want to reference it, but eventually I'll just get rid of it Change-Id: Icda840d798594f7e6b188dba044494597d5f6043 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10999 Reviewed-by: aspen <root@gws.fyi> Tested-by: BuildkiteCI
9 lines
No EOL
246 B
Text
9 lines
No EOL
246 B
Text
# -*- 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} |