| tag name | halt3-1.4 |
| tagged object | commit fd41d24de5... |
| download | halt3-1.4.tar.gz halt3-1.4.tar.bz2 halt3-1.4.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.4 |
| tagged object | commit fd41d24de5... |
| download | halt3-1.4.tar.gz halt3-1.4.tar.bz2 halt3-1.4.zip |
|---|