diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-15 21:50:29 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-15 21:50:29 -0400 |
| commit | c57b5a9d547eaf1c7701cb72579f2ef7df86fe62 (patch) | |
| tree | 69e0265afb5f5895da72e0be106ed9be2fb2daa9 /doc/depth.md | |
| parent | 92a675fe7d1761b6554a48cf2327b44cb863b977 (diff) | |
Don't depend on fill in depth.md
Diffstat (limited to 'doc/depth.md')
| -rw-r--r-- | doc/depth.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/depth.md b/doc/depth.md index 236e1645..d5df81ec 100644 --- a/doc/depth.md +++ b/doc/depth.md @@ -26,7 +26,7 @@ Tree←{ ds‿ws‿e←<˘⍉>𝕩 d←1+0⌈´ds ww←1⌈+´ws - p←2÷˜(-ww)+`»⊸+ws + p←2÷˜(-ww)+`0⊸»⊸+ws ⟨d,ww,⟨TN d,Brak ww⟩∾(TL¨p)∾∾p≍⟜1⊸Gtr¨e⟩ } n0 ← 0‿1‿⟨TN 0, Path"M h"(∾∾¨)⟜FmtNum (-∾4∾+˜)5.6⟩ |