I'm curious to see the smooth infinitesimal analysis approach to complex analysis. Using the limit definition (the dreaded epsilon-deltas), you get the correct

I'm curious to see the smooth infinitesimal analysis approach to complex analysis. Using the limit definition (the dreaded epsilon-deltas), you get the correct definition of continuity (for the usual topology). How (if at all) do you do the same thing with dz's?