From e6945369392da6fc0c88dd35072a95e6d3e977b2 Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Wed, 11 May 2022 17:14:38 -0400
Subject: [PATCH] Create Data.Reify

---
 src/Data/Reify.idr | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 src/Data/Reify.idr

diff --git a/src/Data/Reify.idr b/src/Data/Reify.idr
new file mode 100644
index 0000000..38c173b
--- /dev/null
+++ b/src/Data/Reify.idr
@@ -0,0 +1,13 @@
+module Data.Reify
+
+%default total
+
+
+public export
+data Reify : a -> Type where
+  MkReify : (x : a) -> Reify x
+
+public export
+getReify : {0 x : a} -> Reify x -> a
+getReify (MkReify x) = x
+