Apr
3rd
Thu
3rd
Type Checking with Open Type Functions.
GHC’s type checker supports type synonym families in the development version since a few months. This paper explains the type theory underlying that extension.