Adapting to new List type (part 9).

LuxLang · Apr 1, 2024 · f75d50a · f75d50a
1 parent c0d9793
commit f75d50a
Show file tree

Hide file tree

Showing 111 changed files with 1,959 additions and 1,849 deletions.
diff --git a/documentation/bookmark/computation/reversible.md b/documentation/bookmark/computation/reversible.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [Colin Wright - Colours Can Compute - CoM Apr 2021](https://www.youtube.com/watch?v=f3dTmO1JfmY)
 0. [RRUST: A REVERSIBLE EMBEDDED LANGUAGE](https://blog.erk.dev/posts/rrust/)
 0. [Arrow: A Modern Reversible Programming Language](https://digitalcommons.oberlin.edu/cgi/viewcontent.cgi?article=1269&context=honors)
 0. [Stanford Seminar - Generalized Reversible Computing and the Unconventional Computing Landscape](https://www.youtube.com/watch?v=IQZ_bQbxSXk)

diff --git a/documentation/bookmark/design/performance.md b/documentation/bookmark/design/performance.md
@@ -1,4 +1,5 @@
 # Reference
 
+0. [InstantClick](http://instantclick.io/)
 0. [Psychology of Speed: A Guide to Perceived Performance](https://calibreapp.com/blog/perceived-performance)
 
diff --git a/documentation/bookmark/design/ui__user_interface/generative.md b/documentation/bookmark/design/ui__user_interface/generative.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Generative UI and Outcome-Oriented Design](https://www.nngroup.com/articles/generative-ui/)
+
diff --git a/documentation/bookmark/mathematics/proof.md b/documentation/bookmark/mathematics/proof.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [Mathematics in Lean](https://leanprover-community.github.io/mathematics_in_lean/)
 0. [The Mechanics of Proof](https://hrmacbeth.github.io/math2001/index.html)
 0. [The mechanics of proof](https://hrmacbeth.github.io/math2001/)
 0. [Basics of Proofs](https://theory.stanford.edu/~jvondrak/MATH108-2017/Proofs.pdf)

diff --git a/documentation/bookmark/security/environment.md b/documentation/bookmark/security/environment.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Open Enclave SDK](https://openenclave.io/sdk/)
+
diff --git a/stdlib/source/library/lux/abstract/monad/indexed.lux b/stdlib/source/library/lux/abstract/monad/indexed.lux
@@ -8,6 +8,7 @@
     ["?" projection]]
    [data
     [collection
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" stack (.use "[1]#[0]" functor mix)]]]
    ["[0]" macro (.only)
     ["[0]" syntax]]
@@ -75,20 +76,20 @@
                     context (?code.tuple (?.some context))
                     expression ?code.any])
     (macro.with_names ['_ 'then]
-      (let [body (stack#mix (function (_ context next)
-                              (when context
-                                {#Macro macro parameter}
-                                (` ((, (code.name macro))
-                                    (, parameter)
-                                    (, next)))
-                                
-                                {#Binding [binding value]}
-                                (` ((, 'then)
-                                    (.function ((, '_) (, binding))
-                                      (, next))
-                                    (, value)))))
-                            expression
-                            (stack.reversed context))]
+      (let [body (list#mix (function (_ context next)
+                             (when context
+                               {#Macro macro parameter}
+                               (` ((, (code.name macro))
+                                   (, parameter)
+                                   (, next)))
+
+                               {#Binding [binding value]}
+                               (` ((, 'then)
+                                   (.function ((, '_) (, binding))
+                                     (, next))
+                                   (, value)))))
+                           expression
+                           (list.reversed context))]
         (in (stack (when ?name
                      {.#Some name}
                      (let [name (code.local name)]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,4 @@
		# Reference

		0. [Generative UI and Outcome-Oriented Design](https://www.nngroup.com/articles/generative-ui/)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,4 @@
		# Reference

		0. [Open Enclave SDK](https://openenclave.io/sdk/)