diff options
Diffstat (limited to 'src/Wasm/Semantics')
| -rw-r--r-- | src/Wasm/Semantics/Instruction.agda | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Wasm/Semantics/Instruction.agda b/src/Wasm/Semantics/Instruction.agda new file mode 100644 index 0000000..5edd58b --- /dev/null +++ b/src/Wasm/Semantics/Instruction.agda @@ -0,0 +1,5 @@ +{-# OPTIONS --safe --without-K #-} + +module Wasm.Semantics.Instruction where + + |