crockeea
crockeea
@schell I saw @bitc commented on a couple of other hdevtools issues today. But I also saw that you uploaded a working version to hackage recently (thank you!). Any word...
I'm experiencing this problem too. I hope it can be resolved soon.
This appears to be the same as issue #24.
Another issue: ``` let x = 3 y = 4 ``` highlights `x` and `y` differently. There seem to be so many highlighting issues; instead of writing an ad-hoc tmLanguage...
@nh2 Any chance mvoidex's patch can be merged to master?
Another constraint to consider adding: divisibility of PT moduli on modSwitchPT, or some other stronger constraint.
Kim, thanks for your detailed answer. Your second snippet produces the memory usage profile that I expected: the usage at the beginning of each iteration of the loop always the...
@AshyIsMe I agree that these are separate issues, and that adding a link that stands out from the rest of that list (like bold and green) is a good idea...
I like the django UX just fine, though it would be nice to add a "click here for the latest version", which would try to take you to the same...
It seems to depend on the web server. For "https://httpbin.org/get", setting the method to "HEAD" makes session resumption work. But with my own warp-tls web server, "https://127.0.0.1:6000", setting the method...