Can we derive function extensionality from self types?medium.com2 points·LightMachine··0 commentsOpen articleSaveView on HN