exercism / coq

Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18 stars 11 forks source link

Syntax highlighting for coq #32

Closed jackhughesweb closed 6 years ago

jackhughesweb commented 6 years ago

This track has not yet specified the file format mapping for syntax highlighting in exercism/meta#90

Please provide a mapping of file formats used by your track in exercism/meta#90 (e.g. md = markdown)

This issue can be closed after this is completed. (Apologies if you've already done this - this issue was generated automatically).