diff options
| author | Gaëtan Gilbert | 2018-07-10 15:34:22 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-07-24 13:49:18 +0200 |
| commit | 277563ab74a0529c330343479a063f808baa6db4 (patch) | |
| tree | 32dde6c28e260af4fa9b6d716cf27c01e97ba347 /kernel/nativelambda.ml | |
| parent | 076bb351257dfd3c605c010d95484f224bef5e56 (diff) | |
Add simple test cases for vm and native on primitive projections.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions