diff options
| author | coqbot-app[bot] | 2020-12-08 13:01:43 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-08 13:01:43 +0000 |
| commit | c79e503a91be63a7799d6f82690d319ce7a24040 (patch) | |
| tree | ee212b43d2717312d12dafd719e5f2d731fe6408 /kernel/nativelambda.ml | |
| parent | 0369080c826171cf18cfa2c8be5024445cb4a2d9 (diff) | |
| parent | e5a5fdb9ad8d57b37729a781b217701ac341f522 (diff) | |
Merge PR #13596: Add a test for cbv over inductive types which feature let-bindings.
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions