Changeset 0e991df


Ignore:
Timestamp:
Aug 13, 2025, 3:12:54 PM (5 weeks ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
7c36bc9
Parents:
331f59a
Message:

make TODO a comment

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/mike_brooks_MMath/array.tex

    r331f59a r0e991df  
    9393In an imperative language like C and \CFA, it is also necessary to discuss side effects, for which an even heavier formalism, like separation logic, is required.
    9494Secondly, TODO: bash Rust.
    95 TODO: cite the crap out of these claims.
     95% TODO: cite the crap out of these claims.
    9696\end{comment}
    9797
Note: See TracChangeset for help on using the changeset viewer.