Arc Forumnew | comments | leaders | submitlogin
2 points by fallintothis 3865 days ago | link | parent

Just to go through the derivation of his [5 0 1] example:

        *[s [5 0 1]]
  i.e., *[s [5 [0 1]]]  -- because [a b c] == [a [b c]]
  i.e., *[s 5 [0 1]]    -- because [a [b c]] == [a b c]
     => ^*[s [0 1]]     -- by *[a 5 b] => ^*[a b]
  i.e., ^*[s 0 1]       -- because [a [b c]] == [a b c]
     => ^/[1 s]         -- by *[a 0 b] => /[b a]
     => ^s              -- by /[1 a] => a
     => (s + 1)         -- by ^a => (a + 1)
I'm inclined to try his (s - 1) problem, but ain't nobody got time for that.