DaKnig
DaKnig
then please lay out the general steps I need to make. also are there any deps that are not available for arm?
this also means adding more (stress) tests
the bottleneck is not the computation actually , it is the file opening and parsing. I think with the right changes we can make this run at one order of...
ok, modified the rom file (added a byte) and changed its extension from .gb to .gb.txt but here we goooo :) [tiny.gb.txt](https://github.com/eievui5/evunit/files/13882401/tiny.gb.txt)
I did restart emacs a few times hoping the thing will solve itself , didnt help
here are some warnings I get while native-compiling lisp: https://paste.centos.org/view/d527b5df edit: nope, after restarting emacs, it still doesnt work. `symbol's function definition is void : proof-segment-up-to` edit2: `File mode specification...
the bug is still there without company-coq yes. if you want to do faster back-and-forth I am available on libera and matrix so just tell what room to join.
oh that was the option I was missing! thanks!
this is *by far* the most annoying bit of the boilerplate. I always get it wrong. I always forget something. with this we could just have `impl ObjectSubclass for DewYtItemList...