Deploying to gh-pages from @ 2d729c7 🚀

LPCIC · Nov 28, 2024 · 571f8de · 571f8de
1 parent 50216cd
commit 571f8de
Show file tree

Hide file tree

Showing 6 changed files with 1,168 additions and 765 deletions.
diff --git a/stlc.html b/stlc.html
diff --git a/stlc.txt b/stlc.txt
diff --git a/tutorial_coq_elpi_HOAS.html b/tutorial_coq_elpi_HOAS.html
diff --git a/tutorial_coq_elpi_command.html b/tutorial_coq_elpi_command.html
diff --git a/tutorial_coq_elpi_tactic.html b/tutorial_coq_elpi_tactic.html
diff --git a/tutorial_elpi_lang.html b/tutorial_elpi_lang.html