Name		Name	Last commit message	Last commit date
parent directory ..
build		build
inputs		inputs
src		src
.env		.env
.gitignore		.gitignore
README.md		README.md
program.json		program.json
run.sh		run.sh

README.md

lottery.aleo

Run Guide

To run this program, run:

leo run play

or 

./run.sh

Execute Guide

To execute this program, run:

leo execute play