feat: finished argument template

This commit is contained in:
Nick 2024-11-13 01:19:48 -06:00
parent bec8dc53bf
commit 7e2cc9ef32
3 changed files with 28 additions and 1 deletions

View file

@ -270,6 +270,33 @@ argumentList =
] ]
} }
, { argumentTitle = "" , { argumentTitle = ""
, propositionTitle = ""
, propositionSummary = ""
, definitionTable =
[ { definiendum = ""
, definiens = ""
}
, { definiendum = ""
, definiens = ""
}
]
, argumentFormalization =
[ { premises =
[ { premise = ""
, notation = ""
}
, { premise = ""
, notation = ""
}
, { premise = "."
, notation = ""
}
]
, conclusion = ""
, conclusionNotation = ""
}
]
},{ argumentTitle = ""
, propositionTitle = "" , propositionTitle = ""
, propositionSummary = "" , propositionSummary = ""
, definitionTable = , definitionTable =

View file

@ -117,7 +117,7 @@ makeRow makeRowInput =
let let
cuckImageFormat : List (Attribute msg) cuckImageFormat : List (Attribute msg)
cuckImageFormat = cuckImageFormat =
[ centerX, centerY, D.rounded 100, clip, width <| px 100 ] [ centerX, centerY, D.rounded 100, clip, width <| px 80 ]
dodgeRows : List (Element msg) dodgeRows : List (Element msg)
dodgeRows = dodgeRows =

Binary file not shown.

After

Width:  |  Height:  |  Size: 68 KiB