Referenced by:

• arcane-equality
• com-computably-enumerable
• delta-types
• extrusive-posets
• ucb-metamathematics-b-02
• ucb-metamathematics-b-06
• 11
• 12
• vague-notes
• lang
• lecture-on-hask
• le-rx-x2xe3xmbJv
• seven-sketches
• sp24-uniformity
• why-is-inheritance-bad