From 273b6354ea17be93a0dfe4f50cd047b328762b02 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Wed, 16 Feb 2022 16:00:08 +0000
Subject: Begin work on axiomatic semantics.

---
 src/Helium/Data/Pseudocode/Types.agda | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Helium/Data/Pseudocode')

diff --git a/src/Helium/Data/Pseudocode/Types.agda b/src/Helium/Data/Pseudocode/Types.agda
index 971ca12..dbd3c6b 100644
--- a/src/Helium/Data/Pseudocode/Types.agda
+++ b/src/Helium/Data/Pseudocode/Types.agda
@@ -146,3 +146,5 @@ record Pseudocode b₁ b₂ i₁ i₂ i₃ r₁ r₂ r₃ :
     ; _/1 = _/1
     ; ⌊_⌋ = ⌊_⌋
     }
+
+  open RawPseudocode rawPseudocode using (module ℤ′; module ℝ′) public
-- 
cgit v1.2.3