tdop / tdop.github.io Goto Github PK

It would be great to include a link to the original paper on the website so it’s easier to compare the remastering with the original (e.g. when suspecting a transcription error).

The original can be found e.g. here.

The link to the original paper is offline, but can be found on the wayback machine at archive.org.

The original paper has:

We write ‘a’ to mean the expression a whose value is a itself, as distinct from the value of a, e.g. '1+1' must be evaluated twice to yield 2.

But the remastering does not distinguish between a and 'a' causing confusion.

Indeed the single quotes may have been stripped from the text looking at the theorem prover section.

Btw, great work!

A PDF copy of the original paper was freely available from hall.org.ua, but it recently went offline. Thankfully, it can still be accessed through to the Wayback Machine.

Okay. Why not put the PDF in this repo?

if a then b else c is more readable (by a human) then if a, b, c

should probably be:

if a then b else c is more readable (by a human) than if a, b, c

... Cases which did not have a unique answer would he referred back to the programmer,

Should be:

... Cases which did not have a unique answer would be referred back to the programmer,

It would be nice to include a link to the GiHub repo (e.g. in the footer of the website). This would make it slightly more convenient to report issues or suggest fixes.