move all unison files to unison-src directory

2024-10-26 02:55:19 +03:00 · 2016-08-21 17:58:07 -04:00 · 2016-08-21 17:58:07 -04:00 · 441e41311a
commit 441e41311a
parent 632fc73cf9
4 changed files with 11 additions and 0 deletions
--- a/unison-src/html.u
+++ b/unison-src/html.u
--- a/unison-src/index.u
+++ b/unison-src/index.u
--- a/unison-src/pingpong.u
+++ b/unison-src/pingpong.u
--- a/unison-src/searchengine.u
+++ b/unison-src/searchengine.u
@ -0,0 +1,11 @@
+-- going to need tuples at least
+-- allow declarations somehow
+-- going to need hashing
+
+let rec
+  dindex : Vector Node
+        -> Remote (k -> Remote (Optional v), -- lookup
+                   k -> v -> Remote Unit)    -- insert
+  
+in 
+  _