try to add syntax for typeclasses

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.

ISC License

186 stars 68 forks source link

try to add syntax for typeclasses #39

Open c-cube opened 9 years ago

c-cube commented 9 years ago

this doesn't work well, but I don't know enough about vim's syntax coloring to make it work properly... It would still be nice to support the typeclass syntax! Suggestions welcome to improve this.