[ papers ] Move papers to their own page

Previously, both the papers for Idris/Idris2 and the related
publications were under "Documentation".  This moves them to their own
page as suggested on
andrevidela/idris-documentation-tracking#9
and its related issue
andrevidela/idris-documentation-tracking#7

Author: CodingCellist

src/content/pages/docs/index.rst

@@ -45,33 +45,3 @@ Additionally, the
 `old Idris 1 Wiki <https://github.com/idris-lang/Idris-dev/wiki>`_
 contains a lot of community supplied information. 
 
-
-Related Publications
---------------------
-
-There are several academic publications associated with Idris, including:
-
-* `Value Dependent Session Design in a Dependently Typed Language <https://www.type-driven.org.uk/edwinb/papers/places2019.pdf>`_, Jan de Muijnck-Hughes, Wim Vanderbauwhede and Edwin Brady,
-  PLACES 2019
-* `Automatically Proving Equivalence by Type-Safe Reflection <https://www.type-driven.org.uk/edwinb/papers/cicm17.pdf>`_, Franck Slama and Edwin Brady,
-  Conference on Intelligent Computer Mathematics (CICM) 2017
-* `Type-driven Development of Concurrent Communicating Systems <https://www.type-driven.org.uk/edwinb/papers/tdd-conc.pdf>`_, Edwin Brady,
-  Computer Science Journal (AGH University of Science and Technology) 2017
-* `Elaboration Reflection: Extending Idris in Idris <https://www.type-driven.org.uk/edwinb/papers/elab-reflection.pdf>`_, David Christiansen and Edwin Brady
-  In proceedings of ICFP 2016
-* `Resource-dependent Algebraic Effects <https://www.type-driven.org.uk/edwinb/papers/dep-eff.pdf>`_, Edwin Brady
-  In proceedings of TFP 2014
-* `Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation <https://www.type-driven.org.uk/edwinb/papers/impldtp.pdf>`_, Edwin Brady
-  In Journal of Functional Programming, October 2013.
-* `Dependent Type Providers <http://www.davidchristiansen.dk/pubs/dependent-type-providers.pdf>`_, David Christiansen
-  In Workshop on Generic Programming, 2013.
-* `Dependent Types for Safe and Secure Web Programming <https://www.type-driven.org.uk/edwinb/papers/ifl2013.pdf>`_, Simon Fowler and Edwin Brady
-  In proceedings of IFL 2013
-* `Programming and Reasoning with Algebraic Effects and Dependent Types <https://www.type-driven.org.uk/edwinb/papers/effects.pdf>`_, Edwin Brady
-  In proceedings of ICFP 2013
-* `Idris – Systems Programming meets Full Dependent Types <https://www.type-driven.org.uk/edwinb/papers/plpv11.pdf>`_, Edwin Brady
-  In proceedings of PLPV 2011.
-* `Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation <https://www.type-driven.org.uk/edwinb/papers/icfp10.pdf>`_, Edwin Brady and Kevin Hammond
-  In proceedings of ICFP 2010.
-
-

src/content/pages/papers.rst

@@ -0,0 +1,29 @@
+Papers
+======
+
+There are several academic publications associated with Idris, including:
+
+* `Value Dependent Session Design in a Dependently Typed Language <https://www.type-driven.org.uk/edwinb/papers/places2019.pdf>`_,
+  Jan de Muijnck-Hughes, Wim Vanderbauwhede and Edwin Brady, PLACES 2019.
+* `Automatically Proving Equivalence by Type-Safe Reflection <https://www.type-driven.org.uk/edwinb/papers/cicm17.pdf>`_,
+  Franck Slama and Edwin Brady, Conference on Intelligent Computer Mathematics
+  (CICM) 2017.
+* `Type-driven Development of Concurrent Communicating Systems <https://www.type-driven.org.uk/edwinb/papers/tdd-conc.pdf>`_,
+  Edwin Brady, Computer Science Journal (AGH University of Science and
+  Technology) 2017.
+* `Elaboration Reflection: Extending Idris in Idris <https://www.type-driven.org.uk/edwinb/papers/elab-reflection.pdf>`_,
+  David Christiansen and Edwin Brady, in Proceedings of ICFP 2016.
+* `Resource-dependent Algebraic Effects <https://www.type-driven.org.uk/edwinb/papers/dep-eff.pdf>`_,
+  Edwin Brady, in Proceedings of TFP 2014.
+* `Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation <https://www.type-driven.org.uk/edwinb/papers/impldtp.pdf>`_,
+  Edwin Brady, in Journal of Functional Programming, October 2013.
+* `Dependent Type Providers <http://www.davidchristiansen.dk/pubs/dependent-type-providers.pdf>`_,
+  David Christiansen, in Workshop on Generic Programming, 2013.
+* `Dependent Types for Safe and Secure Web Programming <https://www.type-driven.org.uk/edwinb/papers/ifl2013.pdf>`_,
+  Simon Fowler and Edwin Brady, in proceedings of IFL 2013.
+* `Programming and Reasoning with Algebraic Effects and Dependent Types <https://www.type-driven.org.uk/edwinb/papers/effects.pdf>`_,
+  Edwin Brady, in proceedings of ICFP 2013.
+* `Idris – Systems Programming meets Full Dependent Types <https://www.type-driven.org.uk/edwinb/papers/plpv11.pdf>`_,
+  Edwin Brady, in proceedings of PLPV 2011.
+* `Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation <https://www.type-driven.org.uk/edwinb/papers/icfp10.pdf>`_,
+  Edwin Brady and Kevin Hammond, in proceedings of ICFP 2010.