Auke Booij
Auke Booij
See also #461
What would be involved in doing this? Is it simply a matter of replacing Coq's integers with the UniMath integers?
There also seems to be a fix by @XaF, which does not require `-shell-escape`, and hence can be used by default: d21534e1822cd59a003faf4570fb8e8e0b758032
@rjoberon, I can't get this to work with the current version either. So is this really a fair "bug" of @XaF's work?
(To be clear: this was just when I was writing this, and I couldn't figure it out at the time. It may be that a simple Coq reinstall or upgrade...
On the other hand, it's nice to know that some things _are_ safe to peek (e.g. reading some Int will definitely give you a value and will not crash your...
There's something aggressive about this question. What am I, as an author, _supposed_ to do with a project that I am currently not working on?
Ah, that makes sense! Thanks for the translation :-) At the moment I am not personally planning to continue development, since it's not putting bread on the table and not...
(This is a nice little bug you could attempt to fix as a first contribution.)
What we can support without much further work is to set up a socket connection, to split incoming bytes into `WirePackage`s, and to serialize `WireMessage`s. To decode `WirePackage`s, we need...