Update TypeTree chapter to reflect newer understanding of it#2911
Open
ZuseZ4 wants to merge 1 commit into
Open
Update TypeTree chapter to reflect newer understanding of it#2911ZuseZ4 wants to merge 1 commit into
ZuseZ4 wants to merge 1 commit into
