From 92dca9f487c625d27f6c291784ef709b0cc13a72 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 26 Dec 2020 04:34:11 -0400
Subject: Some renamings.

---
 stdlib/source/program/aedifex/repository/origin.lux | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 stdlib/source/program/aedifex/repository/origin.lux

(limited to 'stdlib/source/program/aedifex/repository/origin.lux')

diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
new file mode 100644
index 000000000..ca97a8cff
--- /dev/null
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -0,0 +1,21 @@
+(.module:
+  [lux #*
+   [abstract
+    [equivalence (#+ Equivalence)]]
+   [data
+    ["." sum]
+    ["." text]]
+   [world
+    [file (#+ Path)]
+    [net (#+ URL)]]])
+
+(type: #export Origin
+  (#Local Path)
+  (#Remote URL))
+
+(def: #export equivalence
+  (Equivalence Origin)
+  ($_ sum.equivalence
+      text.equivalence
+      text.equivalence
+      ))
-- 
cgit v1.2.3