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

feat: added argument templates

Browse source
This commit is contained in:
Nick 2024-11-16 17:48:59 -06:00
parent 36bedf1c09
commit f2647072fb
25 changed files with 1136 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

0
frontend/src/scripts/directoryconverter.sh → frontend/scripts/directoryconverter.sh
View file

54
frontend/src/Debate/Arguments/Gender/TransPeople.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Nutrition/SaturatedFatLDL.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Science/TruncatedMeta.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

4
frontend/src/Debate/Arguments/Template.elm
View file

@ -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"

54
frontend/src/Debate/Arguments/Theism/FineTuning.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/AgriculturalPredation.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

53
frontend/src/Debate/Arguments/Veganism/AnimalRights.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/AntiRewilding.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/AntiVandalism.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/ColonizingNature.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/CropDeaths.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/ObligatoryActivism.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/OrcaDorsalFins.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

54
frontend/src/Debate/Arguments/Veganism/WildAnimalSuffering.elm Normal file
View file

@ -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 = "(∴)"
}
]
}

2
frontend/src/Pages/Services.elm
View file

@ -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)

1
frontend/src/Services/Helpers.elm
View file

@ -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