fix(flake): update-markdown script

objectionary · Aug 7, 2024 · 434de22 · 434de22
1 parent 1c367aa
commit 434de22
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/flake.nix b/flake.nix
@@ -192,6 +192,7 @@
               runtimeInputs = [
                 inputs.mdsh.packages.${system}.default
                 pkgs.mdbook-linkcheck
+                pkgs.yq-go
                 stack-wrapped
               ];
               text =
@@ -203,11 +204,11 @@
                     ${lib.concatMapStringsSep "\n" (x: "mdsh -i site/docs/src/${x} --work_dir .") [
                       "common/celsius.md"
                       "normalizer.md"
+                      "pipeline.md"
                       "quick-start.md"
-                      "normalizer/transform.md"
-                      "normalizer/metrics.md"
                       "normalizer/dataize.md"
-                      "normalizer/report.md"
+                      "normalizer/metrics.md"
+                      "normalizer/transform.md"
                       "contributing.md"
                     ]}
 

diff --git a/program.phi b/program.phi
@@ -0,0 +1,7 @@
+{
+  ⟦
+    a ↦ ⟦ b ↦ ∅, x ↦ ⟦ Δ ⤍ 01- ⟧ ⟧ (b ↦ ⟦ c ↦ ξ.ρ.x ⟧ ).b.c,
+    x ↦ ⟦ Δ ⤍ 02- ⟧,
+    λ ⤍ Package
+  ⟧
+}