Page history
8 November 2016
+ \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
+26
+ \overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}
-41
sub [ \~]
+ next problem section
+60,285
blank work page
-5,329
→Variations on a theme of transitivity: + \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
+14
\overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~} + \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
-29
+ next problem piece
+2,003
→Computation and inference as semiosis
+4
nope
-3,363
→Computation and inference as semiosis: try another method
+3,363
try this
-94
+ next problem section
+3,430
blank work page
-17,621
6 November 2016
→Formal extension : Cactus calculus: see if this works
+439
okay ... delete a bit
-343
→Formal extension : Cactus calculus: try non-escaped underscore chars in \texttt
+509
→Formal extension : Cactus calculus: try <math>\texttt{(_)}\!</math>
-1
→Formal extension : Cactus calculus: add a bit more
+108
→Formal extension : Cactus calculus: add a bit more
+177
add a bit
+108
→Two-thirds majority function
delete last section
-910
add problem section
+17,534
add user work page
+1