Minor disparities between paper and formalisation

[MatthewDaggitt]

I thought I'd document them here in decreasing order of importance:

• Formalisation has foreach, paper has [...] literals for vectors
• Vec vs Vector
• index vs !
• Num vs Real

Whether we want to do anything about them is another question!