Matteo Manighetti
Results
3
comments of
Matteo Manighetti
Unless the extension is migrated to the new API, it won't work at all in Firefox 57
For many this issue is related to sleep/resume on a laptop. Unloading and reloading the kernel module is not possible in some cases. I managed to fix this adding a...
Generating via ppx would be great! In addition to the mutual recursion, there's also the fact that in Why3 patterns bind variables in the branch but no explicit binder is...