Chris

Thanks for the explanation. I can see why this is necessary. Is it possible then to ask the linter to not change strings into their "normal form"? I find ''...

Hi @sjakobi. Frankly I'm not sure what the right solution is. The only ways I can come up with to make the representation of the normal form more readable is...

Hi. Just to say, I'd be happy to help here if I can -- fixing this would be very helpful for my workflow. I don't have much experience with javascript...

Hi, I've been looking into this in more detail. The issue is that when agda is run standalone from a shell, shell commands called via reflection are (correctly?) called from...

Thanks @jamesmckinna this is really helpful. I hope to come back soon with the updates. I don't feel strongly about which release this targets -- whenever you and @MatthewDaggitt feel...

Hi @jamesmckinna don't worry! Getting a coherent style in the lib is important, and I don't mind updating this. I am just stuck in a combination of teaching and traveling...

Hi @jamesmckinna @MatthewDaggitt Thanks for the feedback! Good to know about the Unnormalized properties from @guilhermehas ! I will have a go at re-using these where possible. I would suggest...

Hi. I'm sorry for the delay, but during term I really struggle to make time for new developments, regardless of my best intentions. I'm hoping to put some time in...

I am trying to figure out whether the issue I have is related. My system is using many GB (I last stopped it at 25 GB!) of memory to do...

Thanks for the quick feedback/action! I think you'd find a number of users from collider physics interested in this. So far we have rolled our own implementations of the PICNNs,...