Merge pull request #16 from yeslogic/brendanzab/rust-refactor

Rewrite AST and typechecking
pikelet-lang · Oct 25, 2017 · bd0f2ee · bd0f2ee
2 parents ba1b685 + d14363a
commit bd0f2ee
Show file tree

Hide file tree

Showing 40 changed files with 1,938 additions and 1,859 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -23,4 +23,4 @@ lalrpop = "0.13.1"
 
 [dev-dependencies]
 difference = "1.0.0"
-pretty_assertions = "0.3.4"
+pretty_assertions = "0.4.0"
diff --git a/experiments/lean/README.md b/experiments/lean/README.md
@@ -5,6 +5,8 @@ implementation. Many theorems and lemmas remain to be been proven. It would be
 very nice to provide more guarentees in the future that our Rust implementation
 matches this formalisation, but that is out of scope for now!
 
+## Setup
+
 To work with the formalisations, you will need to [install Lean 3.3][install_lean].
 Then run the following commands in the shell:
 
@@ -16,7 +18,7 @@ leanpkg build
 
 [install_lean]: https://leanprover.github.io/download/
 
-## Note for VS Code users
+### Note for VS Code users
 
 Note that the VS Code extension doesn't work correctly with packages in
 sub-directories at the time of writing, so you'll need to open a new editor

diff --git a/src/ast.rs b/src/ast.rs