< > BotCompany Repo | #1026694 // ai_indentedLinesPropositions

JavaX fragment (include) [tags: use-pretranspiled]

Libraryless. Click here for Pure Java version (2551L/16K).

static L<Proposition> ai_indentedLinesPropositions(S s) {
  LS lines = lines(s);
  new L<Proposition> out;
  for i over lines:
    out.add(withReasoning("line \*i+1*/ is " + (isIndented(lines.get(i)) ? "" : "not ") + "indented", "line \*i+1*/ is " + quote(lines.get(i))));
  ret out;
}

download  show line numbers  debug dex  old transpilations   

Travelled to 7 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv

No comments. add comment