14 lines
311 B
Plaintext
14 lines
311 B
Plaintext
$newline never
|
|
|
|
$# SPDX-FileCopyrightText: 2022 Gregor Kleen <gregor.kleen@ifi.lmu.de>
|
|
$#
|
|
$# SPDX-License-Identifier: AGPL-3.0-or-later
|
|
|
|
<div .explanation>
|
|
<dl .deflist>
|
|
$forall (stmt, explanation) <- asStatuses
|
|
<dt .deflist__dt>
|
|
_{stmt}
|
|
<dd .deflist__dd>
|
|
^{explanation}
|