upRootNutrition/website
1
0
Fork 0
mirror of https://gitlab.com/upRootNutrition/website.git synced 2025-06-16 12:25:12 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: started adding hashtags

Browse source
This commit is contained in:
Nick 2024-12-09 23:50:16 -06:00
parent 59eade556b
commit 0569a063bb
52 changed files with 55 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
frontend/src/Config/Pages/Debate/Arguments/Helpers.elm
View file

@ -1,5 +1,6 @@
module Config.Pages.Debate.Arguments.Helpers exposing (..)
import Config.Data.Hashtags.Helpers exposing (..)
import Config.Format.CardFormat exposing (..)
import Config.Format.Format
exposing

2
frontend/src/Config/Pages/Debate/Arguments/Inferences/Abortion.elm
View file

@ -1,6 +1,7 @@
module Config.Pages.Debate.Arguments.Inferences.Abortion exposing (..)
import Config.Pages.Debate.Arguments.Types exposing (..)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
argumentAbortion : Argument
@ -12,6 +13,7 @@ argumentAbortion =
, proofLink = "https://www.umsu.de/trees/#(P~2Q~5R),(P),(Q),((R~1F~1~3H)~5M),(F),(~3H),(M~5~3W)%7C=(~3W)"
, argumentCertainty = 6
, argumentImage = "abortion"
, argumentHashtags = [PoliticsAbortion, PhilosophySentience, PhilosophyEthics]
, definitionTable =
[ { definiendum = "P"
, definiens = "one consents to becoming pregnant"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/Agnosticism.elm
View file

@ -12,6 +12,7 @@ argumentAgnosticism =
, proofLink = "https://www.umsu.de/trees/#(~6x~6y(~3Pxy~5~3Qxy)),(~6x~6y(~3Qxy~5Rxy)),(~3Por)|=(Ror)"
, argumentCertainty = 9
, argumentImage = "agnostic"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x,y)"
, definiens = "(x) can unpack what evidence would lead them to change their doxastic attitude on (y)"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/AgriculturalPredation.elm
View file

@ -12,6 +12,7 @@ argumentAgriculturalPredation =
, proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z(Px~4Qxyz~1(Rxyz~2Sxyz)~1Wxyz)),(Qahl),(Rahl~2Sahl),(Wahl)%7C=(Pa)"
, argumentCertainty = 10
, argumentImage = "predatoragriculture"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) counts as predation"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/AnabolicKeto.elm
View file

@ -13,6 +13,7 @@ argumentAnabolicKeto =
, argumentCertainty = 5
, argumentImage = "anabolicketo"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "a higher proportion of amino acids are spent on gluconeogenesis while on ketogenic diets compared to non-ketogenic diets"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/AnimalRights.elm
View file

@ -13,6 +13,7 @@ argumentAnimalRights =
, argumentCertainty = 10
, argumentImage = "animalrights"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) has moral worth"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/AntagonisticPleiotropy.elm
View file

@ -12,6 +12,7 @@ argumentAntagonisticPleiotropy =
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(Q~5R),(P)|=(R)"
, argumentCertainty = 6
, argumentImage = "antagonisticpleiotropy"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "humans have more genetic adaptations to ancestral foods than novel foods"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/AntiRewilding.elm
View file

@ -12,6 +12,7 @@ argumentAntiRewilding =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5~3R),(~3R~5Sa)|=(Sa)"
, argumentCertainty = 10
, argumentImage = "rewilding"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) has negative rights"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/AntiVandalism.elm
View file

@ -12,6 +12,7 @@ argumentAntiVandalism =
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(P),(Q~5R)%7C=(R)"
, argumentCertainty = 8
, argumentImage = "antivandalism"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "zoos must spend extra money cleaning graffiti"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/ApoBCVD.elm
View file

@ -12,6 +12,7 @@ argumentApoBCVD =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qw)|=(Pw)"
, argumentCertainty = 9
, argumentImage = "lipoprotein"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) dose-dependently causes atherosclerosis"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/BoobyTrapPagers.elm
View file

@ -12,6 +12,7 @@ argumentBoobyTrapPagers =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4(Qx~1Rx~1Sx))),(Qp),(Rp),(~3Sp)|=(~3Pp)"
, argumentCertainty = 4
, argumentImage = "pagers"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is a booby-trap"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/CarbsObesity.elm
View file

@ -13,6 +13,7 @@ argumentCarbsObesity =
, argumentCertainty = 9
, argumentImage = "carbobesity"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "carbs uniquely cause fat accumulation or obesity"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/ColonizingNature.elm
View file

@ -13,6 +13,7 @@ argumentColonizingNature =
, argumentCertainty = 10
, argumentImage = "colonizingnature"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "the natural world contains intolerable rights violations"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/CropDeaths.elm
View file

@ -13,6 +13,7 @@ argumentCropDeaths =
, argumentCertainty = 9
, argumentImage = "cropdeaths"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "it is known that cropland leads to more animal death than wildland"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/DairyCowRape.elm
View file

@ -12,6 +12,7 @@ argumentDairyCowRape =
, proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)"
, argumentCertainty = 10
, argumentImage = "cowrape"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) qualifies as rape"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/DietaryCholesterol.elm
View file

@ -12,6 +12,7 @@ argumentDietaryCholesterol =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pd)|=(Qd)"
, argumentCertainty = 9
, argumentImage = "dietarycholesterol"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "consuming high amounts of (x) increases LDL"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/EfilismPatrolSquad.elm
View file

@ -12,6 +12,7 @@ argumentEfilismPatrolSquad =
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q),(~3P~1R~5~3S),(R),(~3S~5W)|=(W)"
, argumentCertainty = 10
, argumentImage = "efilism"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "humans abstaining from procreation maximally reduces rights violations"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/EpidemiologyCausality.elm
View file

@ -13,6 +13,7 @@ argumentEpidemiologyCausality =
, argumentCertainty = 8
, argumentImage = "epidemiologycausality"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) consistently identifies associations that are later confirmed by randomized controlled trials"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/EthicalSlurs.elm
View file

@ -12,6 +12,7 @@ argumentEthicalSlurs =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~6x(~3Px~5Rx)),(~3Pr),(~3Qr~1Rr~5Sr),(Sr~5Wr)|=(Wr)"
, argumentCertainty = 7
, argumentImage = "ethicalslurs"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x)'s negative connotations have been neutralised"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/FineTuning.elm
View file

@ -12,6 +12,7 @@ argumentFineTuning =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pg),(Qg~5R)%7C=(R)"
, argumentCertainty = 10
, argumentImage = "finetuning"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is finely tuned"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/FlatEarthDebunk.elm
View file

@ -12,6 +12,7 @@ argumentFlatEarthDebunk =
, proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z(Pxy~5(Qyz~5Rxz))),(Pkt~1Qta),(Rka~5~3Ska)|=(~3Ska)"
, argumentCertainty = 10
, argumentImage = "flatearth"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x,y)"
, definiens = "(x) is perceived as rotating counter-clockwise from point (y)"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/FructoseNAFLD.elm
View file

@ -12,6 +12,7 @@ argumentFructoseNAFLD =
, proofLink = "https://www.umsu.de/trees/#(P~5~3Q),(P)|=(~3Q)"
, argumentCertainty = 8
, argumentImage = "fructosenafld"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "experimental investigations into fructose overfeeding consistently fail to recreate a fatty liver phenotype in humans"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthPromotingFoods.elm
View file

@ -12,6 +12,7 @@ argumentHealthPromotingFoods =
, argumentCertainty = 10
, argumentImage = "healthfoods"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "food is defined as material consisting essentially of protein, carbohydrate, and/or fat used in the body of an organism to sustain growth, repair, and vital processes and to furnish energy"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthSeeker.elm
View file

@ -13,6 +13,7 @@ argumentHealthSeeker =
, argumentCertainty = 10
, argumentImage = "healthseeker"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) favours consuming ancestral foods to the exclusion of (y) because they value reducing disease risk"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthyChocolate.elm
View file

@ -13,6 +13,7 @@ argumentHealthyChocolate =
, argumentCertainty = 7
, argumentImage = "chocolate"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) causes atherosclerosis"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthyDairy.elm
View file

@ -12,6 +12,7 @@ argumentHealthyDairy =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(~3Qh)|=(~3Ph)"
, argumentCertainty = 7
, argumentImage = "dairy"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) causes atherosclerosis"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthyFattyFish.elm
View file

@ -13,6 +13,7 @@ argumentHealthyFattyFish =
, argumentCertainty = 8
, argumentImage = "fattyfish"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is overwhelmingly healthy"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthyFibre.elm
View file

@ -13,6 +13,7 @@ argumentHealthyFibre =
, argumentCertainty = 9
, argumentImage = "fibre"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is overwhelmingly healthy"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthyFood.elm
View file

@ -13,6 +13,7 @@ argumentHealthyFood =
, argumentCertainty = 10
, argumentImage = "foodsubstitution"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x,y,w)"
, definiens = "(x) is healthy compared to (w) when in (y)"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthyPlantFoods.elm
View file

@ -13,6 +13,7 @@ argumentHealthyPlantFoods =
, argumentCertainty = 9
, argumentImage = "plantfoods"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is overwhelmingly healthy"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthySeedOils.elm
View file

@ -13,6 +13,7 @@ argumentHealthySeedOils =
, argumentCertainty = 9
, argumentImage = "seedoils"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is overwhelmingly healthy"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/HealthySoy.elm
View file

@ -13,6 +13,7 @@ argumentHealthySoy =
, argumentCertainty = 7
, argumentImage = "soyproducts"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is overwhelmingly healthy"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/ImmortalityReductio.elm
View file

@ -12,6 +12,7 @@ argumentImmortalityReductio =
, proofLink = "https://www.umsu.de/trees/#(~6x~6y(Hx~5~3Rxy)),(Hs)%7C=(~3Rsd)"
, argumentCertainty = 10
, argumentImage = "immortality"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "humans undergo (x)"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/Malondialdehyde.elm
View file

@ -12,6 +12,7 @@ argumentMalondialdehyde =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qm),(Pm~5~6x(Rx))%7C=(Ro)"
, argumentCertainty = 6
, argumentImage = "mda"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) increases the risk of atherosclerosis"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/OddOrderPredators.elm
View file

@ -12,6 +12,7 @@ argumentOddOrderPredators =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5R)%7C=(R)"
, argumentCertainty = 10
, argumentImage = "oddorderpredators"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) has negative rights"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/Omega3Omega6Ratio.elm
View file

@ -12,6 +12,7 @@ argumentOmega3Omega6Ratio =
, argumentCertainty = 7
, argumentImage = "omega6omega3ratio"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "increases or decreases in disease risk associated with a high or low omega-6/omega-3 ratio are better explained by changes in omega-3 alone"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/Ostroveganism.elm
View file

@ -12,6 +12,7 @@ argumentOstroveganism =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx~1Rx~1(Sx~2Wx))),(Qc~1~3Rc~1Sc~1~3Wc),(~3Pc~5~6x(~3Tx))|=(~3Tb)"
, argumentCertainty = 10
, argumentImage = "ostroveganism"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) counts as a brain"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/PlantBasedCVDReversal.elm
View file

@ -13,6 +13,7 @@ argumentPlantBasedCVDReversal =
, argumentCertainty = 8
, argumentImage = "plantbasedcvd"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "there are established definitions for atherosclerosis reversal in the domain of cardiology"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/PollinationReductio.elm
View file

@ -12,6 +12,7 @@ argumentPollinationReductio =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(Qb),(~3Pb~5~6y(~3Ry))|=(~3Ra)"
, argumentCertainty = 10
, argumentImage = "pollinationreductio"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is vegan"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/PolyphenolReductio.elm
View file

@ -12,6 +12,7 @@ argumentPolyphenolReductio =
, proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~1Qxy~5Rxy)),(Pp),(Qpg),(Rpg~5Spg),(Spg~5Wp)|=(Wp)"
, argumentCertainty = 7
, argumentImage = "polyphenolreductio"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is harmful"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/ScratcherPioneers.elm
View file

@ -12,6 +12,7 @@ argumentScratcherPioneers =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx~2Rx~2Sx)),(Qt),(Rt),(St)%7C=(Pt)"
, argumentCertainty = 10
, argumentImage = "tattooscratchers"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is a scratcher"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/SodiumCVD.elm
View file

@ -12,6 +12,7 @@ argumentSodiumCVD =
, argumentCertainty = 9
, argumentImage = "sodiumcvd"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) consistently raises blood pressure in controlled studies"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/TMAOCausality.elm
View file

@ -13,6 +13,7 @@ argumentTMAOCausality =
, argumentCertainty = 9
, argumentImage = "tmaocausality"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is likely to be causative of heart diseas"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/Template.elm
View file

@ -12,6 +12,7 @@ argument =
, proofLink = ""
, argumentCertainty = 1
, argumentImage = ""
, argumentHashtags = []
, definitionTable =
[ { definiendum = ""
, definiens = ""

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/TransPeople.elm
View file

@ -12,6 +12,7 @@ argumentTransPeople =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Rx~1Wx)),(~6x(Qx~4Sx~1Wx)),(Ra~1Wa),(Sg~1Wg)|=(Pa~1Qg)"
, argumentCertainty = 10
, argumentImage = "transpeople"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "Male"
, definiens = "the cluster of traits that associate with small, but not large, gametes."

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/TruncatedMeta.elm
View file

@ -12,6 +12,7 @@ argumentTruncatedMeta =
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(P)%7C=(Q)"
, argumentCertainty = 7
, argumentImage = "truncatedmetas"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "underpowered studies provide weaker causal estimates than adequately powered studies"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/UnhealthyCoconutOil.elm
View file

@ -12,6 +12,7 @@ argumentUnhealthyCoconutOil =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~1Qx~5~3Rx)),(Pc),(Qc)|=(~3Rc)"
, argumentCertainty = 9
, argumentImage = "coconutoil"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P"
, definiens = "a given (x) increases LDL-C at a similar rate to other saturated fat sources"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/UnhealthyProcessedMeat.elm
View file

@ -12,6 +12,7 @@ argumentUnhealthyProcessedMeat =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qs)|=(Ps)"
, argumentCertainty = 8
, argumentImage = "processedmeat"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is overwhelmingly unhealthy"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/UnhealthyRedMeat.elm
View file

@ -12,6 +12,7 @@ argumentUnhealthyRedMeat =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qm)|=(Pm)"
, argumentCertainty = 7
, argumentImage = "redmeat"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is overwhelmingly unhealthy"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/UnhealthySaturatedFat.elm
View file

@ -12,6 +12,7 @@ argumentUnhealthySaturatedFat =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)"
, argumentCertainty = 9
, argumentImage = "saturatedfat"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) is overwhelmingly unhealthy"

1
frontend/src/Config/Pages/Debate/Arguments/Inferences/VeganSocietyReductio.elm
View file

@ -12,6 +12,7 @@ argumentVeganSocietyReductio =
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(~6x~6y(~3Rx~5~3Q(e(y)))),(~3Rg)%7C=(P(e(g)))"
, argumentCertainty = 10
, argumentImage = "vegansociety"
, argumentHashtags = []
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "it is vegan to do (x)"

5
frontend/src/Config/Pages/Debate/Arguments/Types.elm
View file

@ -1,6 +1,6 @@
module Config.Pages.Debate.Arguments.Types exposing (..)
-- ARGUMENTS
import Config.Data.Hashtags.Types exposing (..)
type alias Argument =
@ -12,6 +12,7 @@ type alias Argument =
, definitionTable : List Definition
, argumentCertainty : Int
, argumentImage : String
, argumentHashtags : List Hashtags
, argumentFormalization : List ArgumentEntry
}
@ -32,4 +33,4 @@ type alias PremiseWithNotation =
type alias Definition =
{ definiendum : String
, definiens : String
}
}