16 Jul
2025
16 Jul
'25
5:39 p.m.
On 16/07/2025 13:05, Henning Thielemann wrote:
In my memory, GHC-7 was the version range for consolidating type families, GHC-8 was the version range for consolidating kind level extensions, GHC-9 could have been the version range for dependent types, maybe GHC-10 will.
GHC-9 brought us linear types. :)