diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-09-03 19:37:22 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-09-03 19:37:22 +0200 |
| commit | b5c646a37ac0375f9fbb2427549c925ee3f127ad (patch) | |
| tree | 4a4159636206bce92eab5e89a0cb71aecac21cc8 /kernel/cbytecodes.ml | |
| parent | 5c060d56a9d94d74cdeca6f6b424306218e81562 (diff) | |
Improve directives for Haskell extraction of nat.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions