Skip to content
Snippets Groups Projects
Commit 9ff73bfc authored by Hai Dang's avatar Hai Dang
Browse files

complete Arc

parent 9af6235c
No related branches found
No related tags found
No related merge requests found
Pipeline #
Expand all Hide whitespace changes
Inline Side-by-side
opam
+ 1
− 1
View file @ 9ff73bfc
...@@ -10,5 +10,5 @@ build: [make "-j%{jobs}%"] ...@@ -10,5 +10,5 @@ build: [make "-j%{jobs}%"]
install: [make "install"] install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/lrust'" ] remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/lrust'" ]
depends: [ depends: [
"coq-gpfsl" { (= "dev.2018-06-27.5.84bc3150") | (= "dev") } "coq-gpfsl" { (= "dev.2018-06-29.0.3df7ec91") | (= "dev") }
] ]
theories/lang/arc.v
+ 182
− 180
View file @ 9ff73bfc
This diff is collapsed.
theories/typing/lib/arc.v
+ 692
− 50
View file @ 9ff73bfc
This diff is collapsed.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment