Idris 语法

没有提供描述

详细信息

版本 1.0.0
主页 packagecontrol.io
问题 github.com
修改日期 5 年前
最后查看 2 小时前
首次查看 5 年前

安装

总数 279
Win 77
Mac 109
Linux 93

	8 月 6 日	8 月 5 日	8 月 4 日	8 月 3 日	8 月 2 日	8 月 1 日	7 月 31 日	7 月 30 日	7 月 29 日	7 月 28 日	7 月 27 日	7 月 26 日	7 月 25 日	7 月 24 日	7 月 23 日	7 月 22 日	7 月 21 日	7 月 20 日	7 月 19 日	7 月 18 日	7 月 17 日	7 月 16 日	7 月 15 日	7 月 14 日	7 月 13 日	7 月 12 日	7 月 11 日	7 月 10 日	7 月 9 日	7 月 8 日	7 月 7 日	7 月 6 日	7 月 5 日	7 月 4 日	7 月 3 日	7 月 2 日	7 月 1 日	6 月 30 日	6 月 29 日	6 月 28 日	6 月 27 日	6 月 26 日	6 月 25 日	6 月 24 日	6 月 23 日
Windows	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
Mac	1	1	0	0	0	0	0	0	1	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
Linux	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

Readme 文件

源代码: raw.githubusercontent.com

Sublime Text 3 的 Idris 语法支持

安装

mkdir ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax
cp ./idris.sublime-syntax  ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax/
cp ./Comments.tmPreferences  ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax/

然后将其语法切换到 Idris。

测试

while fswatch -1 ./idris.sublime-syntax; do rsync -a ./idris.sublime-syntax ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax/; done