diff options
| author | Jasper Hugunin | 2018-01-10 17:13:44 +0900 |
|---|---|---|
| committer | Jasper Hugunin | 2018-01-17 14:54:14 +0900 |
| commit | 92bc1c642c2bf9001b86c71bb26f3e73011d02a7 (patch) | |
| tree | c5404b63b6acdf924603d1a72460c0c62d0b6893 /kernel/nativelambda.ml | |
| parent | 58d209fe36e37b6c0ee4acd702dac333388b1b88 (diff) | |
Add a test that `prod_applist_assum` reduces the right number of let-ins
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions