Skip to content

Commit a83508d

Browse files
author
Guido van Rossum
committed
More layout tweaks, mostly reverting the previous change.
1 parent e14c511 commit a83508d

File tree

1 file changed

+17
-12
lines changed

1 file changed

+17
-12
lines changed

README.rst

Lines changed: 17 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ This GitHub repo us used for drafting PEP 484: Type Hints, slated for
66
inclusion in Python 3.5.
77

88
Authors
9-
=======
9+
-------
1010

1111
* Guido van Rossum
1212

@@ -15,14 +15,14 @@ Authors
1515
* Łukasz Langa
1616

1717
BDFL-Delegate
18-
=============
18+
-------------
1919

2020
The BDFL-Delegate is Mark Shannon. This means he gets to be the final
2121
reviewer of the PEP and ultimately gets to accept or reject it -- see
2222
PEP 1 (https://www.python.org/dev/peps/pep-0001/).
2323

2424
Important dates
25-
===============
25+
---------------
2626

2727
The target dates for inclusion of types.py in Python 3.5 are derived
2828
from the Python 3.5 release schedule as documented in PEP 478
@@ -38,7 +38,7 @@ that schedule slips:
3838
* September 13, 2015: Python 3.5.0 final release
3939

4040
Important URLs
41-
==============
41+
--------------
4242

4343
The python.org rendering of the PEP lives at
4444
https://www.python.org/dev/peps/pep-0484/, but the version in this
@@ -60,8 +60,11 @@ updated.
6060
Workflows
6161
---------
6262

63+
Here's some documentation on the workflow we're using for the various
64+
aspects of the PEP.
65+
6366
Workflow for editing PEP 484
64-
============================
67+
----------------------------
6568

6669
* The PEP 484 draft is edited in the GitHub ambv/typehinting repo.
6770

@@ -102,7 +105,7 @@ Workflow for editing PEP 482 and PEP 483
102105
(Łukasz for PEP 482, Guido for PEP 483).
103106

104107
Workflow for mypy changes
105-
=========================
108+
-------------------------
106109

107110
* Use the GitHub issue tracker for the mypy repo (JukkaL/mypy). Jukka
108111
accepts GitHub Pull Requests at his discretion.
@@ -114,13 +117,13 @@ Workflow for mypy changes
114117
(JukkaL/typing).
115118

116119
Workflow for CPython changes
117-
============================
120+
----------------------------
118121

119122
* TBD: Workflow for copying types.py and test_types.py into the
120123
CPython repo.
121124

122125
Things consciously left out for now
123-
===================================
126+
-----------------------------------
124127

125128
* Multiple dispatch (but ``@overload`` will be allowed in stubs).
126129

@@ -154,22 +157,24 @@ http://mypy-lang.blogspot.com/2015/04/mypy-02-released.html.)
154157
TO DO Lists
155158
-----------
156159

160+
(Not sure that the TODO lists need to be in here; they don't seem complete.)
161+
157162
PEP 482 TO DO
158-
=============
163+
-------------
159164

160165
* State of the art: should we list decorator-based approaches
161166
(PyContracts?) and docstring-based approaches? **TODO:** Łukasz to
162167
update PEP 482.
163168

164169
PEP 483 TO DO
165-
=============
170+
-------------
166171

167172
* Explain generics better.
168173

169174
* Drop definition of ``Intersection``?
170175

171176
PEP 484 TO DO
172-
=============
177+
-------------
173178

174179
* Explain generics better.
175180

@@ -195,7 +200,7 @@ PEP 484 TO DO
195200
https://github.com/ambv/typehinting/issues
196201

197202
README.rst TO DO
198-
================
203+
----------------
199204

200205
* Drop list of changes to mypy.
201206

0 commit comments

Comments
 (0)