in reply to Re: Outputting input prompt with prove
in thread Outputting input prompt with prove

(please say no modulinos, an evil gimmick)
  • Comment on Re^2: Outputting input prompt with prove