minigent/examples/6_recursive/07-self-calling/in.minigent

add : { x: U8, y: U8 }# -> U8;
add r =
  take r2 { x = a } = r in
    take r3 { y = b } = r2 in
      if a == 0 then b
      else add { x = a-1, y = b+1 }
      end
    end
  end;