joha2

Hi Martin, for me, another operator name like `hip` would be also perfect. The only problem, which is a minor one, is that `hip` is not infix, like `|` and...

Thank you for your fast response! I would rather have no Windows machine, too :-) Nevertheless, I will check `canonicalizePath` within the upcoming week and come back to you with...

I decided to do the test immediately, such that we can move on with testing or further information needed. I added three lines into the Haskell program above: ```haskell --...

I found some time to perform the tests you suggested. I "improved" the Haskell program by adding: ```haskell -- [...] print "isAbsolute can" print (isAbsolute can) abs

Thank you for looking into it! I'm eagerly awaiting Agda 2.9.0 :-). If there are further information needed, just give me a ping.