notes on idris tactics