Trading in NSE global Exchange at GIFT city?

I came to know that, NSE IFSC exchange is opened for trading from yesterday and it functions till 10.30 pm. Do we have the facility to trade index derivatives in this market. If so, please inform us the procedure to trade in this exchange