Settle the four picks 3a, 3c and 3k were holding #28
Reference in New Issue
Block a user
Delete Branch "settle-3"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
The maintainer's answers, recorded at the sub-items that asked them:
markdown/parts intoemit/andparse/at 3a; the node tables get a test that readsspec/flavour.md; a claimed line ends lazy continuation; the spec suite asserts fixpoint, text preservation and construct counts.Docs-only: todo.md.