add: idris reverse polish notation calculator