2 teaspoons olive oil or butter
1 large onion, chopped
4 black cardamom pods, crushed
1-inch piece of fresh ginger, grated or minced
small handful of green chilies, minced
1 tablespoon ground coriander
1 teaspoon cumin
1/2 teaspoons cayenne
1 teaspoon turmeric
1 teaspoon garam masala
1/2 teaspoon chili powder
small handful fresh or dried curry leaves

1 large carrot, diced
2 medium potatoes, diced
6 - 8 mushrooms, roughly chopped
4 - 6 cups vegetable stock or water
1 1/2 teaspoons sea salt, or to taste
2 large tomatoes, finely chopped

juice of 1 lemon
1/2 cup coconut milk or yogurt
2/3 cup frozen peas
2 tablespoons fresh coriander or parsley, chopped