Archived tweet #11457 from the @leastfixedpoint Twitter Archive

@EremondiJoey I've heard Matthias mention mechanical support for the design recipe as an explicit antigoal from time to time. So that, IIRC, students would internalise the lessons rather than leaning on the tooling without understanding.