Proof: Difference between revisions
m
→{{header|Phix}}: replaced a "test" with "axiom"
(→{{header|Racket}}: cur fixes are merged) |
m (→{{header|Phix}}: replaced a "test" with "axiom") |
||
Line 909:
Silly text-based version, just for fun.<br>
Obviously 1.1/1.2/1.3 are (loosely) eumlated by the strings "int"/"even"/"odd", and addition by axioms[4].<br>
Clearly 3.2 and 3.3 are not attempted, and I'm not sure which of 3.4/4.1/4.2 the last
closest to, or for that matter what the difference between them is supposed to be.
<lang Phix>constant axioms = {{"even+1","odd"},
|