Presentation given by @Enrico Tassi
How much will this change affect the section on organizing theories in the math-comp book?
Paraphrasing @Enrico Tassi
This section will have to be reworked and hopefully become simpler.
HB can be seen as a transpiler from the high level language to what MC uses today. So the principles are the same, but the syntax is much simpler and the nasty details are hopefully hidden under the rug
Last updated: Oct 03 2023 at 02:34 UTC