search

sacerdot / Minimalist-Type-Theory-In-Lambda-Prolog

An implementation in Lambda-Prolog of the Minimalist Type Theory
4 stars 3 forks source link

syntax highlight on github #7

Closed gares closed 6 years ago

gares commented 6 years ago

I suggest adding a .gitattribute file as in https://github.com/LPCIC/coq-elpi/blob/master/.gitattributes This way you get some colors. Example: https://github.com/LPCIC/coq-elpi/blob/master/coq-lib.elpi

Note: a file gets the new syntax highlighting active only after a change, just adding the .gitattributes is not enough.

fifofefe commented 6 years ago

Thanks, I made the changes :) now it is a lot better