j
k
j a
j l
Top-level variables may not have an unlifted type Ah, that makes much more sense now. Thanks.
Janek
Back to the thread
Back to the list
