j
k
j a
j l
'$$' should be strongly considered That breaks time-honored practice in hugs and ghci.
Doug McIlroy
Back to the thread
Back to the list