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?