Code

Fix runParserFully, add Flag'#8

Code

Open

andrevidela wants to merge 3 commits intoHuwCampbell:masterHuwCampbell/optparse-idris:masterfrom andrevidela:masterandrevidela/optparse-idris:masterCopy head branch name to clipboard

+10-6

Commits

Commits on May 27, 2019

• fix runParserFully to pass all args

  andrevidela

  committed
  6da95d0

  Copy full SHA for 6da95d0

Commits on May 30, 2019

• Add flag'

  andrevidela

  committed
  aa68370

  Copy full SHA for aa68370

• replace case by short-circuit do-notation

  andrevidela

  committed
  bd5d520

  Copy full SHA for bd5d520