j
k
j a
j l
Artem Pelenitsyn 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
Attachments:
Back to the thread
Back to the list