remove old stuff

h0nzZik · Jun 29, 2024 · 2bfc391 · 2bfc391
1 parent 01ac555
commit 2bfc391
Show file tree

Hide file tree

Showing 9 changed files with 0 additions and 308 deletions.
diff --git a/languages-in-coq/src/example_lang_driver.ml b/languages-in-coq/src/example_lang_driver.ml
diff --git a/languages-in-coq/src/fib_native_driver.ml b/languages-in-coq/src/fib_native_driver.ml
diff --git a/languages-in-coq/src/generic_driver.ml b/languages-in-coq/src/generic_driver.ml
diff --git a/languages-in-coq/src/imp.ml b/languages-in-coq/src/imp.ml
diff --git a/languages-in-coq/src/imp_lexer.mll b/languages-in-coq/src/imp_lexer.mll
diff --git a/languages-in-coq/src/imp_parser.mly b/languages-in-coq/src/imp_parser.mly
diff --git a/languages-in-coq/src/sum_to_n_driver.ml b/languages-in-coq/src/sum_to_n_driver.ml
diff --git a/languages-in-coq/src/two_counters_driver.ml b/languages-in-coq/src/two_counters_driver.ml
diff --git a/languages-in-coq/trivial.m b/languages-in-coq/trivial.m