mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-23 23:23:50 +03:00
751e79a66e
WIP scripts WIP alias leo WIP alias leo WIP alias leo |
||
---|---|---|
.. | ||
inputs | ||
src | ||
.gitignore | ||
program.json | ||
README.md | ||
run.sh |
A standard game of Tic-Tac-Toe in Leo.
⭕ ❕ ⭕ ❕ ❌
➖ ➕ ➖ ➕ ➖
⭕ ❕ ❌ ❕ ⭕
➖ ➕ ➖ ➕ ➖
❌ ❕ ❌ ❕ ⭕
Representing State
Leo allows users to define composite data types with the struct
keyword.
The game board is represented by a struct called Board
, which contains three Row
s.
An alternative representation would be to use an array, however, these are not yet supported in Leo.
Language Features
struct
declarations- conditional statements
- early termination. Leo allows users to return from a function early using the
return
keyword.
Running the Program
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 in inputs/
.
Providing inputs via the command line.
- Run
leo run <function_name> <input_1> <input_2> ...
See ./run.sh
for an example.
Using an input file.
- Modify
inputs/tictactoe.in
with the desired inputs. - Run
leo run <function_name>