gallais/MiniAgda-mode — pull request #1 by andreasabel (2014-01-10 12:02:42+00:00)
Title: More keywords

Hello gallais,

thanks for making the MiniAgda-mode available!
I have added a few keywords for the highlighter. Please pull.

--Andreas