halt3 - Stuff related to the three-value halting problem.

summary refs log tree commit diff stats

path: root/proof-sketch.txt

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding proof sketch.	Kaz Kylheku	2015-01-15	1	-0/+287