So it was mentioned on the call today that it could be possible to make a coqc which doesn't use so much memory. AFAIOU today coqc is just a special case of coqtop, which means that it also does some stuff with the STM which isn't really needed during compilation.
How might we go forward with this?
ping @Pierre-Marie Pédrot
The code is already there somewhere on @Emilio Jesús Gallego Arias 's repo, the branch is called simple coqc or something.
IIRC it is a bit too simple but it is a good starting point.
Last updated: Feb 05 2023 at 20:03 UTC