82ecd61f5c
Change-Id: I6c6847fac56f0a9a1a2209792e00a3aec5e672b9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10809 Autosubmit: aspen <root@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi>
8 lines
No EOL
142 B
Text
8 lines
No EOL
142 B
Text
# key: gen
|
|
# name: Hedgehog Generator
|
|
# expand-env: ((yas-indent-line (quote fixed)))
|
|
# --
|
|
gen${1:Foo} :: Gen $1
|
|
gen$1 = do
|
|
$2
|
|
pure $1{..} |