From 600f2ed3f41851a6a114b6b976235d03f2262920 Mon Sep 17 00:00:00 2001 From: Nick Date: Sat, 16 Nov 2024 18:34:05 -0600 Subject: [PATCH] feat: updating arguments --- .../Ancestry/AntagonisticPleiotropy.elm | 49 +++++++------------ .../Ancestry/ArtificialManipulation.elm | 24 ++++----- .../Debate/Arguments/Ancestry/HeathSeeker.elm | 24 ++++----- .../Ancestry/ImmortalityReductio.elm | 24 ++++----- .../Arguments/Ancestry/PolyphenolReductio.elm | 24 ++++----- .../src/Debate/Arguments/Ethics/Abortion.elm | 24 ++++----- .../Arguments/Ethics/EfilismPatrolSquad.elm | 24 ++++----- .../Debate/Arguments/Gender/TransPeople.elm | 24 ++++----- .../Arguments/Nutrition/AnabolicKeto.elm | 24 ++++----- .../Arguments/Nutrition/HealthyFood.elm | 24 ++++----- .../Arguments/Nutrition/Malondialdehyde.elm | 24 ++++----- .../Arguments/Nutrition/SaturatedFatLDL.elm | 24 ++++----- .../Arguments/Philosophy/Agnosticism.elm | 24 ++++----- .../Arguments/Politics/BoobyTrapPagers.elm | 24 ++++----- .../Arguments/Science/FlatEarthDebunk.elm | 24 ++++----- .../Arguments/Science/TruncatedMeta.elm | 24 ++++----- frontend/src/Debate/Arguments/Template.elm | 24 ++++----- .../Debate/Arguments/Theism/FineTuning.elm | 24 ++++----- .../Veganism/AgriculturalPredation.elm | 24 ++++----- .../Arguments/Veganism/AnimalRights.elm | 24 ++++----- .../Arguments/Veganism/AntiRewilding.elm | 24 ++++----- .../Arguments/Veganism/AntiVandalism.elm | 24 ++++----- .../Arguments/Veganism/ColonizingNature.elm | 24 ++++----- .../Debate/Arguments/Veganism/CropDeaths.elm | 24 ++++----- .../Arguments/Veganism/DairyCowRape.elm | 24 ++++----- .../Arguments/Veganism/ObligatoryActivism.elm | 24 ++++----- .../Arguments/Veganism/OddOrderPredators.elm | 24 ++++----- .../Arguments/Veganism/OrcaDorsalFins.elm | 24 ++++----- .../Arguments/Veganism/Ostroveganism.elm | 24 ++++----- .../Veganism/PollinationReductio.elm | 24 ++++----- .../Veganism/WildAnimalSuffering.elm | 24 ++++----- frontend/src/Debate/Helpers.elm | 6 +-- frontend/src/Layouts/Navbar.elm | 2 +- .../src/Pages/{Debate.elm => Arguments.elm} | 4 +- 34 files changed, 384 insertions(+), 397 deletions(-) rename frontend/src/Pages/{Debate.elm => Arguments.elm} (92%) diff --git a/frontend/src/Debate/Arguments/Ancestry/AntagonisticPleiotropy.elm b/frontend/src/Debate/Arguments/Ancestry/AntagonisticPleiotropy.elm index d70779f..370d0a6 100644 --- a/frontend/src/Debate/Arguments/Ancestry/AntagonisticPleiotropy.elm +++ b/frontend/src/Debate/Arguments/Ancestry/AntagonisticPleiotropy.elm @@ -5,50 +5,35 @@ import Debate.Types exposing (..) argumentAntagonisticPleiotropy : Argument argumentAntagonisticPleiotropy = - { argumentTitle = "Title" - , propositionTitle = "Proposition" + { argumentTitle = "Argument Against Ancestral Diets" + , propositionTitle = "Ancestral diets have inherent disadvantages over novel diets" , propositionSummary = "Summary" - , proofLink = "" + , proofLink = "https://www.umsu.de/trees/#(P~5Q),(Q~5R),(P)|=(R)" , definitionTable = - [ { definiendum = "" - , definiens = "prop 1" + [ { definiendum = "P" + , definiens = "humans have more genetic adaptations to ancestral foods than novel foods" } - , { definiendum = "" - , definiens = "prop 2" + , { definiendum = "Q" + , definiens = "antagonistic pleiotropy is more of a concern for ancestral foods than novel foods" } - , { definiendum = "" - , definiens = "prop 3" - } - , { definiendum = "" - , definiens = "prop 4" - } - , { definiendum = "" - , definiens = "prop 5" - } - , { definiendum = "" - , definiens = "variable 1" + , { definiendum = "R" + , definiens = "ancestral diets have inherent disadvantages over novel diets" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" - , notation = "" + [ { premise = "If humans have more genetic adaptations to ancestral foods than novel foods, then antagonistic pleiotropy is more of a concern for ancestral foods than novel foods." + , notation = "(P→Q)" } - , { premise = "premise 2" - , notation = "" + , { premise = "If antagonistic pleiotropy is more of a concern for ancestral foods than novel foods, then ancestral diets have inherent disadvantages over novel diets." + , notation = "(Q→R)" } - , { premise = "premise 3" - , notation = "" - } - , { premise = "premise 4" - , notation = "" - } - , { premise = "premise 5" - , notation = "" + , { premise = "Humans have more genetic adaptations to ancestral foods than novel foods." + , notation = "(P)" } ] - , conclusion = "conclusion" - , conclusionNotation = "(∴)" + , conclusion = "Therefore, ancestral diets have inherent disadvantages over novel diets" + , conclusionNotation = "(∴R)" } ] } diff --git a/frontend/src/Debate/Arguments/Ancestry/ArtificialManipulation.elm b/frontend/src/Debate/Arguments/Ancestry/ArtificialManipulation.elm index 41f5ef0..6a502bd 100644 --- a/frontend/src/Debate/Arguments/Ancestry/ArtificialManipulation.elm +++ b/frontend/src/Debate/Arguments/Ancestry/ArtificialManipulation.elm @@ -11,43 +11,43 @@ argumentArtificialManipulation = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Ancestry/HeathSeeker.elm b/frontend/src/Debate/Arguments/Ancestry/HeathSeeker.elm index 3c66c9d..6e8811a 100755 --- a/frontend/src/Debate/Arguments/Ancestry/HeathSeeker.elm +++ b/frontend/src/Debate/Arguments/Ancestry/HeathSeeker.elm @@ -11,43 +11,43 @@ argumentHealthSeeker = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Ancestry/ImmortalityReductio.elm b/frontend/src/Debate/Arguments/Ancestry/ImmortalityReductio.elm index b466cc9..4d90d2d 100644 --- a/frontend/src/Debate/Arguments/Ancestry/ImmortalityReductio.elm +++ b/frontend/src/Debate/Arguments/Ancestry/ImmortalityReductio.elm @@ -11,43 +11,43 @@ argumentImmortalityReductio = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Ancestry/PolyphenolReductio.elm b/frontend/src/Debate/Arguments/Ancestry/PolyphenolReductio.elm index 0195de4..f61a821 100644 --- a/frontend/src/Debate/Arguments/Ancestry/PolyphenolReductio.elm +++ b/frontend/src/Debate/Arguments/Ancestry/PolyphenolReductio.elm @@ -11,43 +11,43 @@ argumentPolyphenolReductio = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Ethics/Abortion.elm b/frontend/src/Debate/Arguments/Ethics/Abortion.elm index 2bbe889..152c81b 100644 --- a/frontend/src/Debate/Arguments/Ethics/Abortion.elm +++ b/frontend/src/Debate/Arguments/Ethics/Abortion.elm @@ -11,43 +11,43 @@ argumentAbortion = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Ethics/EfilismPatrolSquad.elm b/frontend/src/Debate/Arguments/Ethics/EfilismPatrolSquad.elm index 8cedefe..319a13f 100644 --- a/frontend/src/Debate/Arguments/Ethics/EfilismPatrolSquad.elm +++ b/frontend/src/Debate/Arguments/Ethics/EfilismPatrolSquad.elm @@ -11,43 +11,43 @@ argumentEfilismPatrolSquad = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Gender/TransPeople.elm b/frontend/src/Debate/Arguments/Gender/TransPeople.elm index 1d2a4bc..cfe302d 100644 --- a/frontend/src/Debate/Arguments/Gender/TransPeople.elm +++ b/frontend/src/Debate/Arguments/Gender/TransPeople.elm @@ -11,43 +11,43 @@ argumentTransPeople = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm b/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm index 162272b..8892966 100755 --- a/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm +++ b/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm @@ -11,43 +11,43 @@ argumentAnabolicKeto = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm index 33a73bb..54ed4ba 100644 --- a/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm @@ -11,43 +11,43 @@ argumentHealthyFood = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm b/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm index f4b39e7..19988bb 100755 --- a/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm +++ b/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm @@ -11,43 +11,43 @@ argumentMalondialdehyde = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Nutrition/SaturatedFatLDL.elm b/frontend/src/Debate/Arguments/Nutrition/SaturatedFatLDL.elm index 523d445..a6963ff 100644 --- a/frontend/src/Debate/Arguments/Nutrition/SaturatedFatLDL.elm +++ b/frontend/src/Debate/Arguments/Nutrition/SaturatedFatLDL.elm @@ -11,43 +11,43 @@ argumentSaturatedFatLDL = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm b/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm index 7148542..308866a 100644 --- a/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm +++ b/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm @@ -11,43 +11,43 @@ argumentAgnosticism = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm index 094ebde..fcfc600 100644 --- a/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm +++ b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm @@ -11,43 +11,43 @@ argumentBoobyTrapPagers = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm b/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm index 63b29f2..a68b0cf 100644 --- a/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm +++ b/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm @@ -11,43 +11,43 @@ argumentFlatEarthDebunk = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm b/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm index a7cdd8e..94cd3dc 100644 --- a/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm +++ b/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm @@ -11,43 +11,43 @@ argumentTruncatedMeta = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Template.elm b/frontend/src/Debate/Arguments/Template.elm index 84930c3..6663219 100755 --- a/frontend/src/Debate/Arguments/Template.elm +++ b/frontend/src/Debate/Arguments/Template.elm @@ -11,43 +11,43 @@ argument = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Theism/FineTuning.elm b/frontend/src/Debate/Arguments/Theism/FineTuning.elm index 8e131bb..545396c 100644 --- a/frontend/src/Debate/Arguments/Theism/FineTuning.elm +++ b/frontend/src/Debate/Arguments/Theism/FineTuning.elm @@ -11,43 +11,43 @@ argumentFineTuning = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/AgriculturalPredation.elm b/frontend/src/Debate/Arguments/Veganism/AgriculturalPredation.elm index 85ad803..45ca0b4 100644 --- a/frontend/src/Debate/Arguments/Veganism/AgriculturalPredation.elm +++ b/frontend/src/Debate/Arguments/Veganism/AgriculturalPredation.elm @@ -11,43 +11,43 @@ argumentAgriculturalPredation = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/AnimalRights.elm b/frontend/src/Debate/Arguments/Veganism/AnimalRights.elm index eb93d14..b84ec98 100644 --- a/frontend/src/Debate/Arguments/Veganism/AnimalRights.elm +++ b/frontend/src/Debate/Arguments/Veganism/AnimalRights.elm @@ -10,43 +10,43 @@ argumentAnimalRights = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/AntiRewilding.elm b/frontend/src/Debate/Arguments/Veganism/AntiRewilding.elm index c0d7f6a..a1405f9 100644 --- a/frontend/src/Debate/Arguments/Veganism/AntiRewilding.elm +++ b/frontend/src/Debate/Arguments/Veganism/AntiRewilding.elm @@ -11,43 +11,43 @@ argumentAntiRewilding = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/AntiVandalism.elm b/frontend/src/Debate/Arguments/Veganism/AntiVandalism.elm index 2fa91b5..3d7ac6d 100644 --- a/frontend/src/Debate/Arguments/Veganism/AntiVandalism.elm +++ b/frontend/src/Debate/Arguments/Veganism/AntiVandalism.elm @@ -11,43 +11,43 @@ argumentAntiVandalism = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/ColonizingNature.elm b/frontend/src/Debate/Arguments/Veganism/ColonizingNature.elm index 0e9c0f5..ab2151b 100644 --- a/frontend/src/Debate/Arguments/Veganism/ColonizingNature.elm +++ b/frontend/src/Debate/Arguments/Veganism/ColonizingNature.elm @@ -11,43 +11,43 @@ argumentColonizingNature = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm b/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm index da3d8fd..244480d 100644 --- a/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm +++ b/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm @@ -11,43 +11,43 @@ argumentCropDeaths = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm b/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm index b812eb6..dca153c 100644 --- a/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm +++ b/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm @@ -11,43 +11,43 @@ argumentDairyCowRape = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/ObligatoryActivism.elm b/frontend/src/Debate/Arguments/Veganism/ObligatoryActivism.elm index 6912321..6e2e760 100644 --- a/frontend/src/Debate/Arguments/Veganism/ObligatoryActivism.elm +++ b/frontend/src/Debate/Arguments/Veganism/ObligatoryActivism.elm @@ -11,43 +11,43 @@ argumentObligatoryActivism = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm b/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm index 52fc00a..ad794d2 100644 --- a/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm +++ b/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm @@ -11,43 +11,43 @@ argumentOddOrderPredators = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/OrcaDorsalFins.elm b/frontend/src/Debate/Arguments/Veganism/OrcaDorsalFins.elm index 872c1b5..85eed32 100644 --- a/frontend/src/Debate/Arguments/Veganism/OrcaDorsalFins.elm +++ b/frontend/src/Debate/Arguments/Veganism/OrcaDorsalFins.elm @@ -11,43 +11,43 @@ argumentOrcaDorsalFins = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm b/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm index 0fe772b..21d72b2 100644 --- a/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm +++ b/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm @@ -11,43 +11,43 @@ argumentOstroveganism = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm b/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm index 145eee0..df78403 100644 --- a/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm +++ b/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm @@ -11,43 +11,43 @@ argumentPollinationReductio = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Arguments/Veganism/WildAnimalSuffering.elm b/frontend/src/Debate/Arguments/Veganism/WildAnimalSuffering.elm index 9f663da..3fbbfb8 100644 --- a/frontend/src/Debate/Arguments/Veganism/WildAnimalSuffering.elm +++ b/frontend/src/Debate/Arguments/Veganism/WildAnimalSuffering.elm @@ -11,43 +11,43 @@ argumentWildAnimalSuffering = , proofLink = "" , definitionTable = [ { definiendum = "" - , definiens = "prop 1" + , definiens = "" } , { definiendum = "" - , definiens = "prop 2" + , definiens = "" } , { definiendum = "" - , definiens = "prop 3" + , definiens = "" } , { definiendum = "" - , definiens = "prop 4" + , definiens = "" } , { definiendum = "" - , definiens = "prop 5" + , definiens = "" } , { definiendum = "" - , definiens = "variable 1" + , definiens = "" } ] , argumentFormalization = [ { premises = - [ { premise = "premise 1" + [ { premise = "" , notation = "" } - , { premise = "premise 2" + , { premise = "" , notation = "" } - , { premise = "premise 3" + , { premise = "" , notation = "" } - , { premise = "premise 4" + , { premise = "" , notation = "" } - , { premise = "premise 5" + , { premise = "" , notation = "" } ] - , conclusion = "conclusion" + , conclusion = "" , conclusionNotation = "(∴)" } ] diff --git a/frontend/src/Debate/Helpers.elm b/frontend/src/Debate/Helpers.elm index 0563cd3..2d92446 100755 --- a/frontend/src/Debate/Helpers.elm +++ b/frontend/src/Debate/Helpers.elm @@ -64,16 +64,16 @@ argumentMaker argument = [ paragraph (paragraphBoldFormat ++ [ F.size 20 ]) [ newTabLink [] { url = argument.proofLink - , label = transitionNonHighlightedLinkHover <| text (argument.argumentTitle) + , label = transitionNonHighlightedLinkHover <| text argument.argumentTitle } ] , paragraph (paragraphBoldFormat ++ [ F.size 18 ]) [ text "Proposition: " |> el [ F.color colourTheme.highlightText ] - , text argument.propositionTitle |> el [ F.color colourTheme.nonHighlightedText, F.regular ] + , text argument.propositionTitle |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ] ] , paragraph (paragraphBoldFormat ++ [ F.size 18 ]) [ text "Summary: " |> el [ F.color colourTheme.highlightText ] - , text argument.propositionSummary |> el [ F.color colourTheme.nonHighlightedText, F.regular ] + , text argument.propositionSummary |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ] ] , wrappedRow (paragraphBoldFormat ++ [ alignLeft ]) [ Element.table diff --git a/frontend/src/Layouts/Navbar.elm b/frontend/src/Layouts/Navbar.elm index 6e32ba5..9ad6b4c 100755 --- a/frontend/src/Layouts/Navbar.elm +++ b/frontend/src/Layouts/Navbar.elm @@ -108,7 +108,7 @@ view { toContentMsg, model, content } = , link nonHighlightedTitleFormat { url = localhostUrl ++ pageNames.pageHome, label = transitionNonHighlightedLinkHover <| text "THE NUTRIVORE" } , link navBarLinkFormat { url = localhostUrl ++ "platforms", label = transitionNonHighlightedLinkHoverWithMove <| text "PLATFORMS" } , link navBarLinkFormat { url = localhostUrl ++ "services", label = transitionNonHighlightedLinkHoverWithMove <| text "SERVICES" } - , link navBarLinkFormat { url = localhostUrl ++ "debate", label = transitionNonHighlightedLinkHoverWithMove <| text "DEBATE" } + , link navBarLinkFormat { url = localhostUrl ++ "arguments", label = transitionNonHighlightedLinkHoverWithMove <| text "ARGUMENTS" } , link navBarLinkFormat { url = localhostUrl ++ "blog", label = transitionNonHighlightedLinkHoverWithMove <| text "BLOG" } , link navBarLinkFormat { url = localhostUrl ++ "nutridex", label = transitionNonHighlightedLinkHoverWithMove <| text "NUTRI-DEX" } , link navBarLinkFormat { url = localhostUrl ++ "support", label = transitionNonHighlightedLinkHoverWithMove <| text "SUPPORT" } diff --git a/frontend/src/Pages/Debate.elm b/frontend/src/Pages/Arguments.elm similarity index 92% rename from frontend/src/Pages/Debate.elm rename to frontend/src/Pages/Arguments.elm index b634d2a..f4a6402 100755 --- a/frontend/src/Pages/Debate.elm +++ b/frontend/src/Pages/Arguments.elm @@ -1,8 +1,9 @@ -module Pages.Debate exposing (Model, Msg, page) +module Pages.Arguments exposing (Model, Msg, page) import Config.Colour as T exposing (..) import Config.Format as O exposing (..) import Config.Identity as I exposing (..) +import Debate.Arguments.Ancestry.AntagonisticPleiotropy exposing (..) import Debate.Arguments.Ethics.EthicalSlurs exposing (..) import Debate.Helpers exposing (..) import Effect exposing (Effect) @@ -107,6 +108,7 @@ debateList = [ { categoryName = "Ethics" , arguments = [ argumentEthicalSlurs + , argumentAntagonisticPleiotropy ] } ]