feat: fucked around and found out

This commit is contained in:
Nick 2024-11-20 15:12:38 -06:00
parent 9bf6a9703c
commit a121a5a66c
2 changed files with 187 additions and 153 deletions

View file

@ -23,6 +23,7 @@ argumentMaker argument =
argRows : List (Element msg)
argRows =
let
argumentFormatting : List (Attribute msg)
argumentFormatting =
[ centerX, F.center, spacing 3 ]
in
@ -60,6 +61,7 @@ argumentMaker argument =
)
argument.argumentFormalization
maybeReductioField : Element msg
maybeReductioField =
case argument.propositionReductio of
"" ->