a rebuilt Logic Lab (LL)

[dr.mt...@gmail.com]

There are 2 main files in LL; a compiler for sequent calculus into type secure Shen and the general proof assistant or GPA.  These programs have been reduced to 85% and 70% of the original size respectively.   The code is much easier to understand and maintain.

The rewrite unearthed a bug in Shen-YACC - an obscure corner case that was easily fixed and has been fixed in 41.1.  

There's a lot of stuff going on in the background, a planting of seeds as it were, but the results of that planting will become manifest later this year, so I will hold fire on that.

with thanks for your support

Mark

[dr.mt...@gmail.com]

Another kernel bug unearthed for 41.1 wrt input+.  I'll put this up soon.

M.