diff options
| author | Théo Zimmermann | 2020-05-13 20:01:56 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-13 20:01:56 +0200 |
| commit | d3ad26c8f2b53f3101338f3764ccb54eb0177c3a (patch) | |
| tree | 64f9bc6dbca32b78b5ae3f904bfb055ad19e0a55 /plugins/syntax/float_syntax_plugin.mlpack | |
| parent | 91b5990e724acc863a5dba66acc33fd698ac26f0 (diff) | |
Extract Inductive types from Gallina.
Diffstat (limited to 'plugins/syntax/float_syntax_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions