vim-polyglot - polyglot fork - https://github.com/sheerun/vim-polyglot

Age	Commit message (Expand)	Author	Files	Lines
2016-05-02	Add cryptol syntax, closes #107	Adam Stankiewicz	1	-0/+50