Typing rules

logsem · Mar 22, 2024 · a275570 · a275570
1 parent 3bb78ba
commit a275570
Show file tree

Hide file tree

Showing 3 changed files with 143 additions and 232 deletions.
diff --git a/theories/examples/delim_lang/interp.v b/theories/examples/delim_lang/interp.v
@@ -57,8 +57,6 @@ Notation op_reset := (inr (inl ())).
 Notation op_pop := (inr (inr (inl ()))).
 Notation op_app_cont := (inr (inr (inr (inl ())))).
 
-
-
 Section reifiers.
 
   Context {X} `{!Cofe X}.