min-ML interpreter