Commit 772c989

committed

init

1 parent dd44c16 commit 772c989Copy full SHA for 772c989

15 files changed

+2838

-0

lines changed

.gitignore
Cargo.lock
Cargo.toml
build.rs
ex.srs
index.html
src
- ast.rs
- eval.rs
- grammar.lalrpop
- lib.rs
- main.rs
- pretty_print
- typecheck.rs

15 files changed

+2838

-0

lines changed

`‎.gitignore`

+11

-Original file line number
+Diff line change
 +prova.html
 +/target
 +/pkg
 +*/pandoc_in.md
 +*/pandoc_sol.md
 +*/standalone.html
 +*/statement.html
 +*.pdf
 +*.png
 +*/*.svg
 +*.jpg

Comments

(0)