diff options
| author | Hugo Herbelin | 2020-03-17 13:00:21 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-03-22 15:02:43 +0100 |
| commit | 5d1c4ae7b8931c7a1dec5f61c2571919319aeb4a (patch) | |
| tree | cca84c8a59556b3ddbd27e74e3d0917e4847ba18 /kernel/nativelambda.mli | |
| parent | f7687371270e0b3fd3b61db3f25128c567aa7033 (diff) | |
Testing notations which are specific numerals.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions