small handful fresh mint leaves, chopped
陆 onion, finely chopped
1 tomato, chopped
salt and freshly ground black pepper
1 tbsp olive oil
15驳/陆辞锄 butter
55g/2oz cheddar, grated
3 free-range eggs, lightly whisked
200g/7oz frozen peas, defrosted