73522cd0b0
flag <- and prop as errors
bf53ca2423
add module keywords and qualified names
5f2b5effb3
add ^ as a substitution constant
1bec2fba30
add <> as brackets
c68c6ca349
<- and ← don't exist any more