You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
5 lines
133 B
5 lines
133 B
# Author: Jonas Bonèr <jonas@jonasboner.com>
|
|
# name: def f(arg: T): R = ...
|
|
# key: def
|
|
# --
|
|
def ${1:name}(${2:args}): ${3:Unit} = $0
|