diff --git a/frontend/src/scripts/directoryconverter.sh b/frontend/scripts/directoryconverter.sh similarity index 100% rename from frontend/src/scripts/directoryconverter.sh rename to frontend/scripts/directoryconverter.sh diff --git a/frontend/src/Debate/Arguments/Gender/TransPeople.elm b/frontend/src/Debate/Arguments/Gender/TransPeople.elm new file mode 100644 index 0000000..1d2a4bc --- /dev/null +++ b/frontend/src/Debate/Arguments/Gender/TransPeople.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Gender.TransPeople exposing (..) + +import Debate.Types exposing (..) + + +argumentTransPeople : Argument +argumentTransPeople = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm new file mode 100644 index 0000000..33a73bb --- /dev/null +++ b/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Nutrition.HealthyFood exposing (..) + +import Debate.Types exposing (..) + + +argumentHealthyFood : Argument +argumentHealthyFood = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Nutrition/SaturatedFatLDL.elm b/frontend/src/Debate/Arguments/Nutrition/SaturatedFatLDL.elm new file mode 100644 index 0000000..523d445 --- /dev/null +++ b/frontend/src/Debate/Arguments/Nutrition/SaturatedFatLDL.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Nutrition.SaturatedFatLDL exposing (..) + +import Debate.Types exposing (..) + + +argumentSaturatedFatLDL : Argument +argumentSaturatedFatLDL = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } diff --git a/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm b/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm new file mode 100644 index 0000000..7148542 --- /dev/null +++ b/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Philosophy.Agnosticism exposing (..) + +import Debate.Types exposing (..) + + +argumentAgnosticism : Argument +argumentAgnosticism = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm new file mode 100644 index 0000000..094ebde --- /dev/null +++ b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Politics.BoobyTrapPagers exposing (..) + +import Debate.Types exposing (..) + + +argumentBoobyTrapPagers : Argument +argumentBoobyTrapPagers = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm b/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm new file mode 100644 index 0000000..63b29f2 --- /dev/null +++ b/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Science.FlatEarthDebunk exposing (..) + +import Debate.Types exposing (..) + + +argumentFlatEarthDebunk : Argument +argumentFlatEarthDebunk = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm b/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm new file mode 100644 index 0000000..a7cdd8e --- /dev/null +++ b/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Science.TruncatedMeta exposing (..) + +import Debate.Types exposing (..) + + +argumentTruncatedMeta : Argument +argumentTruncatedMeta = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Template.elm b/frontend/src/Debate/Arguments/Template.elm index 635bc04..84930c3 100755 --- a/frontend/src/Debate/Arguments/Template.elm +++ b/frontend/src/Debate/Arguments/Template.elm @@ -3,8 +3,8 @@ module Debate.Arguments.Template exposing (..) import Debate.Types exposing (..) -argumentTemplate : Argument -argumentTemplate = +argument : Argument +argument = { argumentTitle = "Title" , propositionTitle = "Proposition" , propositionSummary = "Summary" diff --git a/frontend/src/Debate/Arguments/Theism/FineTuning.elm b/frontend/src/Debate/Arguments/Theism/FineTuning.elm new file mode 100644 index 0000000..8e131bb --- /dev/null +++ b/frontend/src/Debate/Arguments/Theism/FineTuning.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Theism.FineTuning exposing (..) + +import Debate.Types exposing (..) + + +argumentFineTuning : Argument +argumentFineTuning = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } diff --git a/frontend/src/Debate/Arguments/Veganism/AgriculturalPredation.elm b/frontend/src/Debate/Arguments/Veganism/AgriculturalPredation.elm new file mode 100644 index 0000000..85ad803 --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/AgriculturalPredation.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.AgriculturalPredation exposing (..) + +import Debate.Types exposing (..) + + +argumentAgriculturalPredation : Argument +argumentAgriculturalPredation = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/AnimalRights.elm b/frontend/src/Debate/Arguments/Veganism/AnimalRights.elm new file mode 100644 index 0000000..eb93d14 --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/AnimalRights.elm @@ -0,0 +1,53 @@ +module Debate.Arguments.Veganism.AnimalRights exposing (..) +import Debate.Types exposing (..) + + +argumentAnimalRights : Argument +argumentAnimalRights = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/AntiRewilding.elm b/frontend/src/Debate/Arguments/Veganism/AntiRewilding.elm new file mode 100644 index 0000000..c0d7f6a --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/AntiRewilding.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.AntiRewilding exposing (..) + +import Debate.Types exposing (..) + + +argumentAntiRewilding : Argument +argumentAntiRewilding = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/AntiVandalism.elm b/frontend/src/Debate/Arguments/Veganism/AntiVandalism.elm new file mode 100644 index 0000000..2fa91b5 --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/AntiVandalism.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.AntiVandalism exposing (..) + +import Debate.Types exposing (..) + + +argumentAntiVandalism : Argument +argumentAntiVandalism = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/ColonizingNature.elm b/frontend/src/Debate/Arguments/Veganism/ColonizingNature.elm new file mode 100644 index 0000000..0e9c0f5 --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/ColonizingNature.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.ColonizingNature exposing (..) + +import Debate.Types exposing (..) + + +argumentColonizingNature : Argument +argumentColonizingNature = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm b/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm new file mode 100644 index 0000000..da3d8fd --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.CropDeaths exposing (..) + +import Debate.Types exposing (..) + + +argumentCropDeaths : Argument +argumentCropDeaths = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm b/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm new file mode 100644 index 0000000..b812eb6 --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.DairyCowRape exposing (..) + +import Debate.Types exposing (..) + + +argumentDairyCowRape : Argument +argumentDairyCowRape = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/ObligatoryActivism.elm b/frontend/src/Debate/Arguments/Veganism/ObligatoryActivism.elm new file mode 100644 index 0000000..6912321 --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/ObligatoryActivism.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.ObligatoryActivism exposing (..) + +import Debate.Types exposing (..) + + +argumentObligatoryActivism : Argument +argumentObligatoryActivism = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm b/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm new file mode 100644 index 0000000..52fc00a --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.OddOrderPredators exposing (..) + +import Debate.Types exposing (..) + + +argumentOddOrderPredators : Argument +argumentOddOrderPredators = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/OrcaDorsalFins.elm b/frontend/src/Debate/Arguments/Veganism/OrcaDorsalFins.elm new file mode 100644 index 0000000..872c1b5 --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/OrcaDorsalFins.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.OrcaDorsalFins exposing (..) + +import Debate.Types exposing (..) + + +argumentOrcaDorsalFins : Argument +argumentOrcaDorsalFins = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm b/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm new file mode 100644 index 0000000..0fe772b --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.Ostroveganism exposing (..) + +import Debate.Types exposing (..) + + +argumentOstroveganism : Argument +argumentOstroveganism = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm b/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm new file mode 100644 index 0000000..145eee0 --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.PollinationReductio exposing (..) + +import Debate.Types exposing (..) + + +argumentPollinationReductio : Argument +argumentPollinationReductio = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/WildAnimalSuffering.elm b/frontend/src/Debate/Arguments/Veganism/WildAnimalSuffering.elm new file mode 100644 index 0000000..9f663da --- /dev/null +++ b/frontend/src/Debate/Arguments/Veganism/WildAnimalSuffering.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Veganism.WildAnimalSuffering exposing (..) + +import Debate.Types exposing (..) + + +argumentWildAnimalSuffering : Argument +argumentWildAnimalSuffering = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , proofLink = "" + , definitionTable = + [ { definiendum = "" + , definiens = "prop 1" + } + , { definiendum = "" + , definiens = "prop 2" + } + , { definiendum = "" + , definiens = "prop 3" + } + , { definiendum = "" + , definiens = "prop 4" + } + , { definiendum = "" + , definiens = "prop 5" + } + , { definiendum = "" + , definiens = "variable 1" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "premise 1" + , notation = "" + } + , { premise = "premise 2" + , notation = "" + } + , { premise = "premise 3" + , notation = "" + } + , { premise = "premise 4" + , notation = "" + } + , { premise = "premise 5" + , notation = "" + } + ] + , conclusion = "conclusion" + , conclusionNotation = "(∴)" + } + ] + } diff --git a/frontend/src/Pages/Services.elm b/frontend/src/Pages/Services.elm index 6d49899..e3769fa 100755 --- a/frontend/src/Pages/Services.elm +++ b/frontend/src/Pages/Services.elm @@ -15,7 +15,7 @@ import Services.Coaching.DebateTutoring exposing (..) import Services.Coaching.NutritionScience exposing (..) import Services.Creative.NixBuilds exposing (..) import Services.Helpers exposing (..) -import Shared +import Shared exposing (..) import View exposing (View) diff --git a/frontend/src/Services/Helpers.elm b/frontend/src/Services/Helpers.elm index ef33606..1dc94c3 100644 --- a/frontend/src/Services/Helpers.elm +++ b/frontend/src/Services/Helpers.elm @@ -2,7 +2,6 @@ module Services.Helpers exposing (..) import Config.Colour exposing (..) import Config.Format exposing (..) -import Cuckery.Types exposing (..) import Effect exposing (Effect) import Element exposing (..) import Element.Border as D