Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Fengmin Zhu
Tutorial POPL20
Commits
fb64a614
Commit
fb64a614
authored
Jan 20, 2020
by
Robbert Krebbers
Browse files
Fix _CoqProject.
parent
d91bbf1d
Changes
1
Hide whitespace changes
Inline
Side-by-side
_CoqProject
View file @
fb64a614
-Q solutions solutions
-Q solutions solutions
-Q exercises exercises
# non-canonical projections (https://github.com/coq/coq/pull/10076) do not exist yet in 8.9.
# non-canonical projections (https://github.com/coq/coq/pull/10076) do not exist yet in 8.9.
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -redundant-canonical-projection
# change_no_check does not exist yet in 8.9.
# change_no_check does not exist yet in 8.9.
...
@@ -24,3 +25,19 @@ solutions/symbol_ghost.v
...
@@ -24,3 +25,19 @@ solutions/symbol_ghost.v
solutions/unsafe.v
solutions/unsafe.v
solutions/parametricity.v
solutions/parametricity.v
solutions/interp.v
solutions/interp.v
exercises/language.v
exercises/polymorphism.v
exercises/types.v
exercises/typed.v
exercises/sem_types.v
exercises/sem_type_formers.v
exercises/sem_typed.v
exercises/sem_operators.v
exercises/compatibility.v
exercises/fundamental.v
exercises/safety.v
exercises/two_state_ghost.v
exercises/symbol_ghost.v
exercises/unsafe.v
exercises/parametricity.v
exercises/interp.v
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment