From e4126650c2ca4bc525fb8f36cfc15d7b4c1401db Mon Sep 17 00:00:00 2001
From: Vanessa McHale <vamchale@gmail.com>
Date: Tue, 20 Aug 2024 10:58:26 -0400
Subject: [PATCH] one note

---
 MATRIX.md         | 5 +++++
 QUICKCHECK.md     | 9 +++++++++
 doc/user-guide.md | 2 ++
 docs/index.html   | 2 +-
 4 files changed, 17 insertions(+), 1 deletion(-)
 create mode 100644 MATRIX.md
 create mode 100644 QUICKCHECK.md

diff --git a/MATRIX.md b/MATRIX.md
new file mode 100644
index 000000000..3024b390f
--- /dev/null
+++ b/MATRIX.md
@@ -0,0 +1,5 @@
+- [ ] https://github.com/mlochbaum/bqn-libs/blob/master/matrix.bqn
+- [ ] https://en.wikipedia.org/wiki/QR_decomposition
+- [ ] https://en.wikipedia.org/wiki/Singular_value_decomposition#Calculating_the_SVD
+- [ ] https://en.wikipedia.org/wiki/Principal_component_analysis
+- [ ] https://en.wikipedia.org/wiki/Ordered_dithering
diff --git a/QUICKCHECK.md b/QUICKCHECK.md
new file mode 100644
index 000000000..1e6d08283
--- /dev/null
+++ b/QUICKCHECK.md
@@ -0,0 +1,9 @@
+- [ ] amgm is between its arguments
+- [ ] [((+)/x)%ℝ(:x)]'([x]\`7 (frange 0 9 10)) equal to [((+)/x)%ℝ(:x)]\` 7
+- [ ] ~`{1∘[2]}⟨⟨0,1⟩,⟨1,0::int⟩,⟨2,4⟩⟩ vs ~'⟨⟨0,1⟩,⟨1,0::int⟩,⟨2,4⟩⟩
+- [ ] |: ((2 ⊖)`{1} ⟨⟨1,2⟩,⟨3,4⟩,⟨5,6.0⟩⟩)
+- [ ]  > [(⋉)/x] ⨳ {3} ⟨_1,0,4,_2,3,3,1,1,0,_5.0⟩
+Vec 8 [4.0, 4.0, 4.0, 3.0, 3.0, 3.0, 1.0, 1.0]
+ > [(⋉)/x] \`3 ⟨_1,0,4,_2,3,3,1,1,0,_5.0⟩
+Vec 8 [4.0, 4.0, 4.0, 3.0, 3.0, 3.0, 1.0, 1.0]
+- [ ] :qc \xs. (xs˙)'even.⩪xs = even. § xs
diff --git a/doc/user-guide.md b/doc/user-guide.md
index 3f8f9dd84..5f9c4ae54 100644
--- a/doc/user-guide.md
+++ b/doc/user-guide.md
@@ -5,6 +5,8 @@
 
 Apple is an experimental compiler structured as a library.
 
+Everything is an expression; there are no imports.
+
 ## Installation
 
 The REPL and typechecker are available on the [release page](https://github.com/vmchale/apple/releases).
diff --git a/docs/index.html b/docs/index.html
index c9b70299f..4170557a5 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -688,7 +688,7 @@ <h2 id="train-neural-network">Train Neural Network</h2>
   sDdx ← [x*(1-x)];
   sum ⇐ [(+)/x];
   ho ⟜ sigmoid`{0} ([(+)`bh x]&#39;(X%.wh));
-  prediction ⟜ sigmoid&#39;((+bo)&#39;(ho%:wo));
+  prediction ⟜ (sigmoid ∴ (+bo))&#39;(ho%:wo);
   l1E ← (-)`Y prediction;
   l1Δ ⟜ (*)`(sDdx&#39;prediction) l1E;
   he ← l1Δ (*)⊗ wo;