diff --git a/frontend/src/Cuckery/CuckList/AdamSinger.elm b/frontend/src/Cuckery/CuckList/AdamSinger/AdamSinger.elm similarity index 85% rename from frontend/src/Cuckery/CuckList/AdamSinger.elm rename to frontend/src/Cuckery/CuckList/AdamSinger/AdamSinger.elm index b67c667..f4f4f6f 100755 --- a/frontend/src/Cuckery/CuckList/AdamSinger.elm +++ b/frontend/src/Cuckery/CuckList/AdamSinger/AdamSinger.elm @@ -1,7 +1,7 @@ -module Cuckery.CuckList.AdamSinger exposing (..) +module Cuckery.CuckList.AdamSinger.AdamSinger exposing (..) +import Cuckery.Helpers exposing (..) import Cuckery.Types exposing (..) -import Cuckery.Helpers exposing(..) cuckAdamSinger : Cuck diff --git a/frontend/src/Cuckery/Helpers.elm b/frontend/src/Cuckery/Helpers.elm index 72c2ff8..0574204 100755 --- a/frontend/src/Cuckery/Helpers.elm +++ b/frontend/src/Cuckery/Helpers.elm @@ -38,7 +38,7 @@ makeDodge dodgeEntry index = text (case dodgeEntry.dodgeDescription of NoReply -> - "Invitation extended with no response" + "Debate invitation extended with no response" RanAway -> "Engaged in written debate and ran away when cornered" diff --git a/frontend/src/Debate/Arguments/Ancestry/AncestralDiets.elm b/frontend/src/Debate/Arguments/Ancestry/AncestralDiets.elm old mode 100644 new mode 100755 diff --git a/frontend/src/Debate/Arguments/Ancestry/AntagonisticPleiotropy.elm b/frontend/src/Debate/Arguments/Ancestry/AntagonisticPleiotropy.elm new file mode 100644 index 0000000..fda8323 --- /dev/null +++ b/frontend/src/Debate/Arguments/Ancestry/AntagonisticPleiotropy.elm @@ -0,0 +1 @@ +module Debate.Arguments.Ancestry.AntagonisticPleiotropy exposing (..) \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Ancestry/ArtificialManipulation.elm b/frontend/src/Debate/Arguments/Ancestry/ArtificialManipulation.elm new file mode 100644 index 0000000..dea6257 --- /dev/null +++ b/frontend/src/Debate/Arguments/Ancestry/ArtificialManipulation.elm @@ -0,0 +1 @@ +module Debate.Arguments.Ancestry.ArtificialManipulation exposing (..) \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Ancestry/HeathSeeker.elm b/frontend/src/Debate/Arguments/Ancestry/HeathSeeker.elm new file mode 100755 index 0000000..95708ac --- /dev/null +++ b/frontend/src/Debate/Arguments/Ancestry/HeathSeeker.elm @@ -0,0 +1,53 @@ +module Debate.Arguments.Ancestry.HeathSeeker exposing (..) + +import Debate.Types exposing (..) + + +argumentHealthSeeker : Argument +argumentHealthSeeker = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , 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/Ancestry/ImmortalityReductio.elm b/frontend/src/Debate/Arguments/Ancestry/ImmortalityReductio.elm new file mode 100644 index 0000000..ecac636 --- /dev/null +++ b/frontend/src/Debate/Arguments/Ancestry/ImmortalityReductio.elm @@ -0,0 +1 @@ +module Debate.Arguments.Ancestry.ImmortalityReductio exposing (..) \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Ancestry/PolyphenolReductio.elm b/frontend/src/Debate/Arguments/Ancestry/PolyphenolReductio.elm new file mode 100644 index 0000000..161a35a --- /dev/null +++ b/frontend/src/Debate/Arguments/Ancestry/PolyphenolReductio.elm @@ -0,0 +1 @@ +module Debate.Arguments.Ancestry.PolyphenolReductio exposing (..) \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Ethics/Abortion.elm b/frontend/src/Debate/Arguments/Ethics/Abortion.elm new file mode 100644 index 0000000..46c7261 --- /dev/null +++ b/frontend/src/Debate/Arguments/Ethics/Abortion.elm @@ -0,0 +1 @@ +module Debate.Arguments.Ethics.Abortion exposing (..) \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Ethics/EfilismPatrolSquad.elm b/frontend/src/Debate/Arguments/Ethics/EfilismPatrolSquad.elm new file mode 100644 index 0000000..9f18777 --- /dev/null +++ b/frontend/src/Debate/Arguments/Ethics/EfilismPatrolSquad.elm @@ -0,0 +1 @@ +module Debate.Arguments.Ethics.EfilismPatrolSquad exposing (..) \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Ethics/EthicalSlurs.elm b/frontend/src/Debate/Arguments/Ethics/EthicalSlurs.elm old mode 100644 new mode 100755 diff --git a/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm b/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm new file mode 100755 index 0000000..eb0d567 --- /dev/null +++ b/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm @@ -0,0 +1,53 @@ +module Debate.Arguments.Nutrition.AnabolicKeto exposing (..) + +import Debate.Types exposing (..) + + +argumentAnabolicKeto : Argument +argumentAnabolicKeto = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , 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/Malondialdehyde.elm b/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm old mode 100644 new mode 100755 index 265d3a6..4655697 --- a/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm +++ b/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm @@ -9,45 +9,45 @@ argumentMalondialdehyde = , propositionTitle = "Proposition" , propositionSummary = "Summary" , definitionTable = - [ { definiendum = "C(x)" + [ { definiendum = "" , definiens = "prop 1" } - , { definiendum = "B(x)" + , { definiendum = "" , definiens = "prop 2" } - , { definiendum = "D(x)" + , { definiendum = "" , definiens = "prop 3" } - , { definiendum = "S(x)" + , { definiendum = "" , definiens = "prop 4" } - , { definiendum = "A(x)" + , { definiendum = "" , definiens = "prop 5" } - , { definiendum = "r" + , { definiendum = "" , definiens = "variable 1" } ] , argumentFormalization = [ { premises = [ { premise = "premise 1" - , notation = "(∀x(Cx↔Bx))" + , notation = "" } , { premise = "premise 2" - , notation = "(∀x(¬Cx→Dx))" + , notation = "" } , { premise = "premise 3" - , notation = "(¬Cr)" + , notation = "" } , { premise = "premise 4" - , notation = "(¬Br∧Dr→Sr)" + , notation = "" } , { premise = "premise 5" - , notation = "(Sr→Ar)" + , notation = "" } ] , conclusion = "conclusion" - , conclusionNotation = "(∴Ar)" + , conclusionNotation = "(∴)" } ] } diff --git a/frontend/src/Debate/Arguments/Template.elm b/frontend/src/Debate/Arguments/Template.elm new file mode 100755 index 0000000..98fdff4 --- /dev/null +++ b/frontend/src/Debate/Arguments/Template.elm @@ -0,0 +1,53 @@ +module Debate.Arguments.Template exposing (..) + +import Debate.Types exposing (..) + + +argumentTemplate : Argument +argumentTemplate = + { argumentTitle = "Title" + , propositionTitle = "Proposition" + , propositionSummary = "Summary" + , 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/Dodgers.elm b/frontend/src/Pages/Dodgers.elm index 1f228d1..3205dc7 100755 --- a/frontend/src/Pages/Dodgers.elm +++ b/frontend/src/Pages/Dodgers.elm @@ -3,7 +3,7 @@ module Pages.Dodgers exposing (Model, Msg, page) import Config.Colour as T exposing (..) import Config.Format as O exposing (..) import Config.Identity as I exposing (..) -import Cuckery.CuckList.AdamSinger exposing (cuckAdamSinger) +import Cuckery.CuckList.AdamSinger.AdamSinger exposing (cuckAdamSinger) import Cuckery.CuckList.AmberOHearn exposing (cuckAmberOHearn) import Cuckery.CuckList.AnnChilders exposing (cuckAnnChilders) import Cuckery.CuckList.AnthonyGustin exposing (cuckAnthonyGustin)