Improving test coverage [part 5]

documentation/bookmark/health/exercise.md

@@ -0,0 +1,4 @@
+# Reference
+
+0. [A Muscle Supplement worthy of Consideration... (that isn’t creatine)](https://youtu.be/Z-x076J2tfE)
+

documentation/bookmark/keyboard.md

@@ -0,0 +1,4 @@
+# Reference
+
+0. [Typing in 3D! (1st Master Forge Demonstration)](https://www.youtube.com/watch?v=PRsWVO8NkAM)
+

documentation/bookmark/media/podcast.md

@@ -1,4 +1,5 @@
 # Reference
 
+0. [Podcast Index](https://podcastindex.org/)
 0. [Erik Torenberg on the Evolution of Media](https://www.youtube.com/watch?v=beR7vqtW_X4)
 

documentation/bookmark/memory/pointer/tagging.md

@@ -0,0 +1,4 @@
+# Reference
+
+0. [What is the best pointer tagging method?](https://coredumped.dev/2024/09/09/what-is-the-best-pointer-tagging-method/)
+

documentation/bookmark/natural_language.md

@@ -1,4 +1,6 @@
 # Reference
 
+0. [Where does punctuation come from?!](https://youtu.be/k9Re5otW-v0)
+0. [Why we should go back to writing in runes](https://youtu.be/4npuVmGxXuk)
 0. [Ancient Echoes](https://www.etymonline.com/columns/post/ancient-echoes)
 

documentation/bookmark/research/data.md

@@ -1,4 +1,5 @@
 # Reference
 
+0. [Source Cooperative](https://beta.source.coop/)
 0. [Academic Torrents](https://academictorrents.com/)
 

documentation/bookmark/science/pseudo.md

@@ -0,0 +1,4 @@
+# Reference
+
+0. [What I learned as a hired consultant to autodidact physicists](https://aeon.co/ideas/what-i-learned-as-a-hired-consultant-for-autodidact-physicists)
+

documentation/bookmark/type_theory/homotopy.md

@@ -0,0 +1,4 @@
+# Reference
+
+0. [Robert Harper - Homotopy Type Theory](https://www.youtube.com/playlist?list=PL1-2D_rCQBarjdqnM21sOsx09CtFSVO6Z)
+

stdlib/source/library/lux/data/collection/list.lux

@@ -332,7 +332,7 @@
     (-> (.Array it)
         (List it)))
   (let [limit (/.size it)
-        size (n.+ limit (..missing it))
+        size (n.- (..missing it) limit)
 
         value (empty' size (..of it))]
     (loop (next [position 0

stdlib/source/library/lux/ffi.jvm.lux

@@ -203,13 +203,13 @@
    {#ProtectedP}
    {#DefaultP}))
 
-(.every .public State
+(.every State
   (Variant
    {#VolatileS}
    {#FinalS}
    {#DefaultS}))
 
-(.every .public Inheritance
+(.every Inheritance
   (Variant
    {#FinalI}
    {#AbstractI}
@@ -1025,7 +1025,7 @@
         (, (return$ #method_output))
         [(,* (list#each class$ #method_exs))]))))
 
-(the .public with_super
+(the with_super
   (syntax.macro (_ [declaration,method (?code.tuple
                                         (all ?.and
                                              (?text.then projection.declaration' ?code.text)
@@ -1104,7 +1104,7 @@
                            type value^^]
                           (pure [[name pm anns] {#VariableField [sm static? type]}])))))
 
-(the .public with_get|set
+(the with_get|set
   (syntax.macro (_ [declaration,fields (?code.tuple
                                         (all ?.and
                                              ?code.text
@@ -1197,7 +1197,7 @@
   [call_declaration]
   Call)
 
-(the .public with_call
+(the with_call
   (syntax.macro (_ [declaration,methods (?code.tuple
                                          (all ?.and
                                               (?text.then projection.declaration' ?code.text)

stdlib/source/library/lux/function/poly/type/mix.lux

@@ -57,8 +57,7 @@
 
 (the .public (recursive body)
   (for_any (_ it)
-    (-> (-> (Mix it)
-            (Mix it))
+    (-> (Change (Mix it))
         (Mix it)))
   (function (recursion value init it)
     ((body recursion) value init it)))

stdlib/source/library/lux/math/arithmetic/fixed_point.lux

@@ -24,8 +24,7 @@
     ["[1]" local]
     ["[0]" template]]
    [type
-    ["[0]" nominal]]]]
- [// (.only Arithmetic)])
+    ["[0]" nominal]]]])
 
 (the .public maximum
   Natural
@@ -240,17 +239,6 @@
    (the < (..< @))
    ))
 
-(the .public (arithmetic @)
-  (for_any (_ @)
-    (-> (Point @)
-        (Arithmetic (Fixed @))))
-  (implementation
-   (the + (..+ @))
-   (the - (..- @))
-   (the x (..x @))
-   (the / (../ @))
-   ))
-
 (the .public (as_text @ it)
   (for_any (_ @)
     (-> (Point @)

stdlib/source/library/lux/math/number.lux

@@ -59,6 +59,7 @@
                         [[.#Integer /integer.base_10]
                          [.#Revolution /revolution.base_10]
                          [.#Decimal /decimal.degree]
+                         [.#Decimal /decimal.gradian]
                          [.#Decimal /decimal.per_cent]
                          [.#Decimal /decimal.per_mille]
                          [.#Decimal /decimal.per_myriad]