17 Jul
2025
17 Jul
'25
3:09 a.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. :)