Max
Max
I have read most of the [A comprehensive study of Convergent and Commutative Replicated Data Types](https://hal.inria.fr/file/index/docid/555588/filename/techreport.pdf) paper, but as far as I can tell, it contains no notion similar to...
It seems like the intended way to use the `Map::update` function is to use the context given in the closure, e.g. `|set, c| set.add("erik", c)`: https://github.com/rust-crdt/rust-crdt/blob/b405f77361d8cddc8d0b5375e7d6c50f2de16698/examples/reset_remove.rs#L18-L22 However, with `GCounter` instead...
Since the requested changes on https://github.com/Tommoa/rs-process-memory/pull/4 would have required me to undo a lot of stuff, I decided to make some new pull requests. This is a small one, mostly...
Since the requested changes on https://github.com/Tommoa/rs-process-memory/pull/4 would have required me to undo a lot of stuff, I decided to make some new pull requests. The `GetLibraryInfo` trait now also returns...
I was debugging why something isn't working, and then I realized `CopyAddress::get_offset()` is copying too many bytes. My program is 64bit, whereas the game I read from is 32bit. I...
A bit related to issue #15. **What I did:** I am editing a normal HTML file, which is not a template. I press `CTRL-/` to create a comment. As a...
# Improved Semantic Highlighting RFC The [current semantic highlighting](https://github.com/leanprover/lean4/blob/5402c3cf76eb1ef470954d15ced317c65e13d05a/src/Lean/Server/FileWorker/RequestHandling.lean#L427-L478) doesn't do much: - "Properties" `x.y` are just based a syntactic rule (line 443). - We look up the `TermInfo` node...
Ideally we'd want to do the following: ``` codata ITree (E : Type -> Type) (A : Type) : Type 1 | ret : A -> ITree E A |...
The `qpf` macro currently is not able to handle sigma types. See the following examples. There already exists a `MvQPF.Sigma` but it has not been hooked up yet. ``` qpf...