<keyword>coinductive</keyword>
<keyword>corec</keyword>
<keyword>default</keyword>
+ <keyword>discriminator</keyword>
<keyword>for</keyword>
<keyword>include</keyword>
<keyword>include'</keyword>
<match>∀|∃|λ|=|→|⇒|…|≝|≡|\?</match>
</context>
<context id="tinycals" style-ref="tinycals">
- <match>\[|\||\]|\{|\}|>|//|<|@|\$|#|\\\\|;|\.|:>|:</match>
+ <match>\[|\||\]|\{|\}|>|//|<|@|\$|#|\\\\|;|\.|:>|:|-</match>
</context>
</include>
</context>