diff options
| author | Tanaka Akira | 2019-01-24 16:58:54 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-24 16:58:54 +0900 |
| commit | 6998b8b5a88425a32df75c0fb293ee4c2714d899 (patch) | |
| tree | 44e42968444ea8b25d91794434d29e150b802d37 /plugins/syntax/plugin_base.dune | |
| parent | 12f961a53ebda5557eb6f4a74105e2257f2c458f (diff) | |
use \nO, \nS, etc. fix \kw{n}.
\nO, \nS, \evenO, \evenS, \oddS, \length, \Nil and \cons are used.
don't use \kw in \kw{n} in Fixpoint typing rule section.
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions