feat: added a bunch of stuff

This commit is contained in:
Nick 2024-11-30 04:32:00 -06:00
parent 2a0b5f25ca
commit 16cc054355
52 changed files with 252 additions and 38 deletions

View file

@ -11,7 +11,7 @@ argumentSodiumCVD =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~1Q~5Rx)),(Ps),(Q)|=(Rs)"
, argumentCertainty = 9
, argumentImage = "sociumcvd"
, argumentImage = "sodiumcvd"
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) consistently raises blood pressure in controlled studies"

View file

@ -24,7 +24,7 @@ argumentUnhealthyRedMeat =
, definiens = "a food"
}
, { definiendum = "m"
, definiens = "unprocessed red meat"
, definiens = "redmeat"
}
]
, argumentFormalization =

View file

@ -63,7 +63,12 @@ propositionMaker argument =
row []
[ column
[ E.alignTop, E.alignLeft ]
[ paragraph (paragraphBoldFormat ++ [ F.size 18, E.width <| px 100 ])
[ paragraph
(paragraphBoldFormat
++ [ F.size 18
, E.width <| px 100
]
)
[ el
[ tooltip
"A proposition is a declarative statement that can be evaluated as either true or false, and which serves as the basis for debate."
@ -241,7 +246,7 @@ tableMaker : Argument -> Element msg
tableMaker argument =
column
[ centerX
, E.width <| px 600
, E.width fill
]
([ wrappedRow
(paragraphBoldFormat

View file

@ -1,5 +1,7 @@
module Debate.Types exposing (..)
-- ARGUMENTS
type alias Argument =
{ argumentTitle : String
@ -31,3 +33,24 @@ type alias Definition =
{ definiendum : String
, definiens : String
}
-- GIBBERISH
type alias GibberishEntry =
{ gibberishEntry : List GibDomain
}
type alias GibDomain =
{ gibberishTerms : List GibTerms
, gibberishDomain : String
}
type alias GibTerms =
{ term : String
, explanation : String
}