leo/examples/hello-world/inputs/hello-world.in

mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-18 15:31:32 +03:00
[main]
y: bool = true;

[registers]
r0: bool = false;
fix example naming and manifest files 2020-08-19 08:58:14 +03:00			`[main]`
remove unsized arrays 2022-03-04 23:23:46 +03:00			`y: bool = true;`
fix example naming and manifest files 2020-08-19 08:58:14 +03:00
			`[registers]`
remove unsized arrays 2022-03-04 23:23:46 +03:00			`r0: bool = false;`