Bend/tests/snapshots/run_file__tup_reconstruction.bend.snap

mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-09-11 03:45:29 +03:00
---
source: tests/golden_tests.rs
input_file: tests/golden_tests/run_file/tup_reconstruction.bend
---
NumScott:
λa a

Scott:
λa a
Update tests to use .bend extension, fix test uite 2024-05-15 01:25:46 +03:00			`---`
			`source: tests/golden_tests.rs`
			`input_file: tests/golden_tests/run_file/tup_reconstruction.bend`
			`---`
[sc-663] Add num-scott adt encoding, it a cli opt 2024-05-18 15:01:20 +03:00			`NumScott:`
			`λa a`

			`Scott:`
Update tests to use .bend extension, fix test uite 2024-05-15 01:25:46 +03:00			`λa a`