feat: so very close

This commit is contained in:
Nick 2024-12-28 18:42:47 -06:00
parent 131dbfe8a3
commit f9b8f59df9
30 changed files with 1500 additions and 1272 deletions

View file

@ -219,7 +219,7 @@ contentList device argument =
]
]
, tableMaker device argument
, formalizationMaker argument
, formalizationMaker device argument
, proofTreeButton argument.proofLink "Proof Tree"
]
@ -385,8 +385,8 @@ tableMaker device argument =
]
formalizationMaker : Argument -> Element msg
formalizationMaker argument =
formalizationMaker : Device -> Argument -> Element msg
formalizationMaker device argument =
column
[ centerX
, E.width fill
@ -395,7 +395,18 @@ formalizationMaker argument =
(List.indexedMap
(\index argumentEntry ->
column
[ paddingXY 40 3
[ paddingXY
(case ( device.class, device.orientation ) of
( Phone, Portrait ) ->
0
( Tablet, Portrait ) ->
0
_ ->
0
)
3
]
(List.indexedMap
(\entryIndex entryWithNotation ->