ArchConfig
/
emacs
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
emacs/snippets/coq-mode/definitions/fun.yasnippet

7 lines
93 B
Plaintext
Raw Permalink Blame History

# -*- mode: snippet -*-
# key: fun
# group: definitions
# name: fun
# --
fun ($1 : $2 => $0)
Reference in New Issue View Git Blame Copy Permalink