ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 09:02:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
6a032e7499
leo/leo
History
Pranav Gaddamadugu 987496da91 Pull errors/flattener from improved-flattening
2022-07-11 11:17:30 -07:00
..
commands update licenses 2022-07-02 13:47:53 -07:00
errors Pull errors/flattener from improved-flattening 2022-07-11 11:17:30 -07:00
package update licenses 2022-07-02 13:47:53 -07:00
span cargo fmt 2022-07-02 14:08:17 -07:00
tests update licenses 2022-07-02 13:47:53 -07:00
api.rs update licenses 2022-07-02 13:47:53 -07:00
config.rs update licenses 2022-07-02 13:47:53 -07:00
context.rs update licenses 2022-07-02 13:47:53 -07:00
lib.rs update licenses 2022-07-02 13:47:53 -07:00
logger.rs update licenses 2022-07-02 13:47:53 -07:00
main.rs update licenses 2022-07-02 13:47:53 -07:00
README.md restructure compiler and delete unused code 2022-02-22 15:12:52 -08:00
updater.rs update licenses 2022-07-02 13:47:53 -07:00

README.md

Overview

This directory contains the source code for the Leo command line interface.
For a comprehensive list of commands and usage see the developer documentation.

The leo-errors and leo-package modules are also included in this directory for convenience. However, they are also used throughout the compiler/ directory and leo-compiler module.