1 files changed, 0 insertions, 13 deletions
diff --git a/Program.dcl b/Program.dcl
deleted file mode 100644
index ffdf948..0000000
--- a/Program.dcl
+++ /dev/null
@@ -1,13 +0,0 @@
-definition module ABC.Program
-
-from ABC.Def import ::InstrId, ::Instruction, ::State
-
-pc_init :: InstrId
-pc_next :: InstrId -> InstrId
-pc_halt :: InstrId -> InstrId
-pc_end  :: InstrId -> Bool
-
-:: ProgramStore
-
-ps_get  :: InstrId ProgramStore -> Instruction
-ps_init :: [Instruction] -> ProgramStore