ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-24 10:41:57 +03:00
Code Issues Packages Projects Releases Wiki Activity
67aeaa3412
leo/examples/tictactoe
History
Pranav Gaddamadugu 975677f832 WIP docs
2022-09-20 19:20:22 -07:00
..
inputs WIP docs 2022-09-20 19:20:22 -07:00
src Update README for tictactoe 2022-09-20 11:52:21 -07:00
.gitignore [examples] A tic-tac-toe app. 2022-08-04 15:08:05 -07:00
program.json Update tictactoe example 2022-09-19 19:30:11 -07:00
README.md WIP docs 2022-09-20 19:20:22 -07:00
run.sh Update tictactoe example 2022-09-19 19:30:11 -07:00

README.md

Tic Tac Toe

A simple Tic Tac Toe game written in Leo.

Representing State

Leo allows users to define composite data types with the circuit keyword. The game board is represented by a circuit called Board, which contains three Rows. An alternative representation would be to use an array, however, these are not yet supported in Leo.

Language Features

  • circuit 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.

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

See ./run.sh for an example.

Using an input file.

  1. Modify inputs/tictactoe.in with the desired inputs.
  2. Run
leo run <function_name>

For example,

leo run new
leo run make_move