Merge pull request #5 from GhastlyGhast/except_lang

Except lang
logsem · Sep 24, 2024 · 264ebbb · 264ebbb
2 parents 0a1c177 + 41a300e
commit 264ebbb
Show file tree

Hide file tree

Showing 5 changed files with 2,887 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -32,6 +32,7 @@ theories/program_logic.v
 theories/effects/store.v
 theories/effects/callcc.v
 theories/effects/io_tape.v
+theories/effects/exceptions.v
 theories/effects/delim.v
 
 theories/lib/pairs.v
@@ -57,6 +58,10 @@ theories/examples/input_lang/interp.v
 theories/examples/input_lang/logpred.v
 theories/examples/input_lang/logrel.v
 
+theories/examples/except_lang/lang.v
+theories/examples/except_lang/interp.v
+theories/examples/except_lang/typing.v
+
 theories/examples/affine_lang/lang.v
 theories/examples/affine_lang/logrel1.v
 theories/examples/affine_lang/logrel2.v