GitHub - rsaill/vim-dedukti: Vim syntax for Dedukti file format

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
ftdetect		ftdetect
ftplugin		ftplugin
syntax		syntax

About

Vim syntax for Dedukti file format

deducteam.github.io/

vim-plugin dedukti

Report repository

Releases

No releases published

Packages

No packages published

Languages

Vim Script 100.0%