| tag name | halt3-1.2 |
| tagged object | commit bb75fc30d1... |
| download | halt3-1.2.tar.gz halt3-1.2.tar.bz2 halt3-1.2.zip |
|---|
 |
index : halt3 | |
| Stuff related to the three-value halting problem. | kaz@kylheku.com |
| summaryrefslogtreecommitdiffstats |
|
index : halt3 | |
| Stuff related to the three-value halting problem. | kaz@kylheku.com |
| summaryrefslogtreecommitdiffstats |
| tag name | halt3-1.2 |
| tagged object | commit bb75fc30d1... |
| download | halt3-1.2.tar.gz halt3-1.2.tar.bz2 halt3-1.2.zip |
|---|