Vincent
Vincent
Hi ! Do you know how complex it would be to extend `sercomp` with a mode that strips a vernacular expression of all notations ? The end goal here is...
Summary: This diff adds support for the Broadcast operator on variadics. Some aspects of how Pyre deals with variadics are redesign in order to bring support for type operators on...
Hi ! I'm getting this message for a few days now (didn't change anything. Same version of vim/plugin/opam/ocaml/coq). It seems to randomly start (and once started, it works alright). I...
Hi ! I'm trying to test a simple bare metal C code with qemu-system-riscv32 [1], and I think the jump instructions are off by 4 bytes. You can simply test...
Hi ! The `misa` register correctly provides the value of `MXL`, but the `mstatus/sstatus` register do not provide a valid value for the `SXL` and `UXL` bits (which are always...
Hi ! I was unpleasantly surprised to see that the Windows installer don't ask any question or provide any configuration an just install the software at a hard coded location....
## Expected Behavior In dune lang 1.X, we are able to access files in subdirectories using `select` (like in https://github.com/facebook/hhvm/blob/master/hphp/hack/src/errors/dune#L16) ## Actual Behavior We are trying to move to dune...
| Field | Description | |--------------|-------------| | Plugin | `rustaceanvim` (unsure) | | Nixpkgs | `unstable` | | Home Manager | `unstable | - [ x ] I have read...