Formality-Core

Formality-Core copied to clipboard

ritschwumm

rashadg1030

@MaiaVictor Don't merge this yet, just wanted to get your advice on how to proceed with the goal of increasing the size of the string literals we can work with...

johnchandlerburnham

Can we derive function extensionality from self types only?

8

The main insight behind self types is easy to explain. Simple functions can be written as `A -> B`, and an application `f` a has type `B`. Dependent functions can...

VictorTaelin