GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-07-07 10:46:54 +03:00
Code Issues Projects Releases Wiki Activity
master
cryptol/syntax-highlight
History
Iavor Diatchki d0d854cf33 Add a syntax highlighter for vim
2022-10-26 12:07:21 -07:00
..
cryptol.vim Add a syntax highlighter for vim 2022-10-26 12:07:21 -07:00