We construct Bratteli-Vershik models for minimal interval exchange transformations. We use this to show that the interval exchange transformations over quadratic fields, recently studied by Boshernitzan and Carroll, actually are (conjugate to) substitution minimal systems. We also prove a partial converse to this. Furthermore, these systems are orbit equivalent to Sturmian systems.