From 9a746a0b0e9f1143a8f3922473f91c47a3af665b Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 31 Aug 2021 10:28:46 +0100
Subject: Introduce type-safe instances and threads

---
 src/Wasm/Semantics/Instruction.agda | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 src/Wasm/Semantics/Instruction.agda

(limited to 'src/Wasm/Semantics')

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
+
+
-- 
cgit v1.2.3