diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 02:53:18 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 02:53:18 -0300 |
| commit | 6663c20f3cd07a4ce8ff76453baa03e5b9ef6f6e (patch) | |
| tree | 2dc8bdd6caae2cf676b49c042604e5ce97a30b02 /lib/evaluators/Lambda.ml | |
| parent | 71e0bb9ffe0a049bf69296d3a6719e8956752014 (diff) | |
| download | RNT-6663c20f3cd07a4ce8ff76453baa03e5b9ef6f6e.tar.gz RNT-6663c20f3cd07a4ce8ff76453baa03e5b9ef6f6e.zip | |
stop treating tuple as a partial bind and consider type
Diffstat (limited to 'lib/evaluators/Lambda.ml')
0 files changed, 0 insertions, 0 deletions