Files
emacs/snippets/coq-mode/misc/forall.yasnippet
2024-04-30 07:08:23 +02:00

7 lines
89 B
Plaintext

# -*- mode: snippet -*-
# key: fa
# group: misc
# name: forall
# --
forall ($1 : $2), $0