Kvijayan
Minor edit.
18:00
−2
Kvijayan
Added two example bugs for simple and sync-state categories.
18:00
+373
Kvijayan
More minor formatting and language changes.
19:38
+64
Kvijayan
Minor exposition.
19:36
+154
Kvijayan
Added summary of categories.
19:34
+864