Closed wookietreiber closed 6 years ago
As mentioned in #51 this is a rule about head/tail and init/last decomposition.
I hope, I didn't explain this too complicated. If so, I'll try to rewrite, just let me know.
Regarding the subsection numbering, see #52. I will rebase on #51 if you merge that one sooner.
Looks good, merged.
As mentioned in #51 this is a rule about head/tail and init/last decomposition.
I hope, I didn't explain this too complicated. If so, I'll try to rewrite, just let me know.
Regarding the subsection numbering, see #52. I will rebase on #51 if you merge that one sooner.