The notational conventions I adopted, and why (EWD 1300)

(cs.utexas.edu)

2 points | by tosh 2 hours ago ago