| tag name | halt3-1.5 |
| tagged object | commit 10270fb7bc... |
| download | halt3-1.5.tar.gz halt3-1.5.tar.bz2 halt3-1.5.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.5 |
| tagged object | commit 10270fb7bc... |
| download | halt3-1.5.tar.gz halt3-1.5.tar.bz2 halt3-1.5.zip |
|---|