klimi
/
dotfiles
1
0
派生 0
代码 工单 0 合并请求 0 版本发布 0 百科 动态
Klimi's new dotfiles with stow.
您最多选择25个主题 主题必须以字母或数字开头，可以包含连字符 (-)，并且长度不得超过35个字符
1 提交
1 分支
21 MiB
 
 
 
 
 
 
目录树: 88831e7ac3
分支列表 标签列表
${ item.name }
创建分支 ${ searchTerm }
从 '88831e7ac3'
${ noResults }
dotfiles/emacs/.emacs.d/elpa/yasnippet-snippets-20191010.../snippets/coq-mode/definitions/fun.yasnippet

6 行
93 B
原始文件 Blame 文件历史

# -*- mode: snippet -*-
# key: fun
# group: definitions
# name: fun
# --
fun ($1 : $2 => $0)