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