Check agda commands from your terminal - View it on GitHub