Ignore:
Timestamp:
Aug 20, 2025, 12:12:31 PM (6 months ago)
Author:
Michael Brooks <mlbrooks@…>
Branches:
master
Children:
1dec8f3
Parents:
9989781 (diff), 7ea4073 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/mike_brooks_MMath/array.tex

    r9989781 r7ca6bf1  
    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.