2020-10-28有灵性的scala代码

val file=Source.fromFile("zrepo_Dont_deleteWholeLine_Dont_addNewLineBeforeSomeLine").mkString.split('\n')

val naiveTheorems=file.filter(!_.contains("  ")).zipWithIndex.drop(1).map(a=>newTheorem(a._2+"___"+a._1))

每个东西，都要是功能块。 功能块，少，但精。