22 Jul
2020
22 Jul
'20
11:27 p.m.
Artem Pelenitsyn <a.pelenitsyn@gmail.com> writes:
Does Quick Look still have chances to make it into the next release? It'd be fascinating if the major version bump got both linear and impredicative types!
I'm afraid not. Quick Look will need to wait for 9.2. Cheers, - Ben