def summary

cli@0.2.0.0 · cli.bend:5136

import Base

5136# The first paragraph: the text before the first blank line.
5137def summary(s: String) -> String:
5138  match s:
5139    case SNil{}: SNil{}
5140    case SCon{Chr{10}, SCon{Chr{10}, tail}}: SNil{}
5141    case SCon{head, tail}: SCon{head, summary(tail)}