10 lines
166 B
Text
10 lines
166 B
Text
|
# Author: Jonas Bonèr <jonas@jonasboner.com>
|
||
|
|
# name: for {x <- xs \ y <- ys} { yield }
|
||
|
|
# key: for
|
||
|
|
# --
|
||
|
|
for {
|
||
|
|
${1:x} <- ${2:xs}
|
||
|
|
${3:x} <- ${4:xs}
|
||
|
|
} {
|
||
|
|
yield $0
|
||
|
|
}
|