Repository files navigation

Leo allows users to define composite data types with thestruct keyword.The game board is represented by a struct calledBoard, which contains threeRows.An alternative representation would be to use an array, however, these are not yet supported in Leo.

• struct declarations
• conditional statements
• early termination. Leo allows users to return from a function early using thereturn keyword.

Leo provides users with a command line interface for compiling and running Leo programs.Users may either specify input values via the command line or provide an input file ininputs/.

1. Run

leo run<function_name><input_1><input_2> ...

See./run.sh for an example.

1. Modifyinputs/tictactoe.in with the desired inputs.
2. Run

leo run<function_name>

leo execute<function_name><input_1><input_2> ...

leo run new

leo run make_move 1u8 1u8 1u8"{ r1: { c1: 0u8, c2: 0u8, c3: 0u8 }, r2: { c1: 0u8, c2: 0u8, c3: 0u8 }, r3: { c1: 0u8, c2: 0u8, c3: 0u8 } }"

leo run make_move 2u8 2u8 2u8"{ r1: { c1: 1u8, c2: 0u8, c3: 0u8 }, r2: { c1: 0u8, c2: 0u8, c3: 0u8 }, r3: { c1: 0u8, c2: 0u8, c3: 0u8 } }"