2024-01-23 15:57:02 +03:00
|
|
|
---
|
|
|
|
source: tests/golden_tests.rs
|
2024-05-15 01:25:46 +03:00
|
|
|
input_file: tests/golden_tests/run_file/list_resugar.bend
|
2024-01-23 15:57:02 +03:00
|
|
|
---
|
2024-05-18 15:01:20 +03:00
|
|
|
NumScott:
|
|
|
|
[42, [λd d]]
|
|
|
|
|
|
|
|
Scott:
|
2024-05-15 23:07:58 +03:00
|
|
|
[42, [λd d]]
|