Wed, 10 Apr 2019 17:06:24 +0100 Chengsong removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
Wed, 10 Apr 2019 16:34:34 +0100 Chengsong The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
Sat, 23 Mar 2019 11:53:09 +0000 Chengsong exp and proof
Fri, 22 Mar 2019 12:53:56 +0000 Chengsong augmented version of proof sketch
Thu, 21 Mar 2019 13:26:07 +0000 Chengsong pf
Sat, 16 Mar 2019 20:05:13 +0000 Chengsong found the difference: caused by flats
(0) -10 -6 +6 +10 +30 +100 tip