26.08.2024
[X] Emacs minor mode to hide generated code [X] HIGHER PRIORITY: Combine dimensions directive with standard units (add comment explaining that generated code is in order to make sense for MATLAB) [X] Make One = Abel (Enum nil) [X] Do division [X] Do transpose [X] Main target: Matrices of dimensioned constants [X] Main target: Matrix multiplication
27.08.2024
[X] Do addition
29.08.2024
[X] Normalisation should happen in updateConstraint (and every constraint insisting on isHom should be updated)
11.09.2024
[X] Ensure that line breaks in source code induce additional response comment markers [ ] Persuade readfrom directives to wait for useful information to appear