[Python-checkins] peps: Move text on Reticulated Python to PEP 483. Add an abstract. Set creation

[guido.van.rossum]

https://hg.python.org/peps/rev/67ccdc3a0390
changeset:   5667:67ccdc3a0390
user:        Guido van Rossum <guido at python.org>
date:        Fri Jan 09 10:53:06 2015 -0800
summary:
  Move text on Reticulated Python to PEP 483.  Add an abstract.  Set creation date to 19-Dec-2014 (cretion date of the original Quip doc).

files:
  pep-0483.txt |  20 +++++++-------------
  1 files changed, 7 insertions(+), 13 deletions(-)


diff --git a/pep-0483.txt b/pep-0483.txt
--- a/pep-0483.txt
+++ b/pep-0483.txt
@@ -7,13 +7,19 @@
 Status: Draft
 Type: Informational
 Content-Type: text/x-rst
-Created: 08-Jan-2015
+Created: 19-Dec-2014
 Post-History:
 Resolution:
 
 The Theory of Type Hinting
 ==========================
 
+Abstract
+--------
+
+This PEP lays out the theory to be referenced by PEP 484.
+
+
 Introduction
 ------------
 
@@ -306,18 +312,6 @@
 -  IO, TextIO, BinaryIO. (Why?)
 
 
-Another reference
------------------
-
-Lest mypy gets all the attention, I should mention \ `Reticulated
-Python <https://github.com/mvitousek/reticulated>`_ by Michael Vitousek
-as an example of a slightly different approach to gradual typing for
-Python. It is described in an actual `academic
-paper <http://wphomes.soic.indiana.edu/jsiek/files/2014/03/retic-python.pdf>`_
-written by Vitousek with Jeremy Siek and Jim Baker (the latter of Jython
-fame).
-
-
 Copyright
 =========
 

-- 
Repository URL: https://hg.python.org/peps