fix header depth for tisfas desugaring
commit480f1be752619b5bfc08f41acb71f6c6e83d6ad7
authordrbeefsupreme <drbeefsupreme@discordja.net>
dateFri 25 Feb 2022, 18:38 (5 years ago)
parent9c2a911
content/docs/hoon/reference/rune/tis.md+1−1
@@ -354,7 +354,7 @@ Regular: **3-fixed**.
354354=+(^-(p q) r)
355355```
356356
357−### Desugaring
357+##### Desugaring
358358
359359```hoon
360360?@ p