James "kjx" Noble comments

Results 6 comments of


                                            James "kjx" Noble

Ideas for more women to add to this list:

I'm male, but I have checked that Rashina Hoda https://unidirectory.auckland.ac.nz/profile/r-hoda is happy to be added to the list

non-non-non-optional semicolons give horrible error messages - LOW SEVERITY

- what to change - permitting "empty" statements - sequences of semicolons - may be the easiest fix. makes this less sensitive - I'm not that bothered by Python-style omitted...

forall statement and expression syntax gratuitously inconsistent -> horrible error messages LOW SEVERITY

hah. good to know that at least...

Link a recommended Dafny Server version to one version of the Dafny-VSCode plugin

Given that the latest release of the dafny-server just broke things, this would be great to have fixed

Remove Version pin to Dafny 2.3.0

As I said on #66 the current version seems to work now. As well as students on VScode we have people using their own installations, plus installations in the lab,...

Remove Version pin to Dafny 2.3.0

> could not figure out what the problem is with the zip files. Maybe it has something to do with the Node-Library that is used here. I think that's quite...