sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Unicode in docstring.

This commit is contained in:
Simon Forman 2018-07-11 07:11:56 -07:00
parent 0980d1b7c9
commit 343a2f8459
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
joy/utils/polytypes.py
View File

@ -43,16 +43,16 @@ class IntJoyType(NumberJoyType): prefix = 'i'
class KleeneStar(object): class KleeneStar(object):
''' u'''
A sequence of zero or more `AnyJoyType` variables would be: A sequence of zero or more `AnyJoyType` variables would be:
A* A*
The `A*` works by splitting the universe into two alternate histories: The `A*` works by splitting the universe into two alternate histories:
A* -> 0 A* → ∅
A* -> A A* A* → A A*
The Kleene star variable disappears in one universe, and in the other The Kleene star variable disappears in one universe, and in the other
it turns into an `AnyJoyType` variable followed by itself again. it turns into an `AnyJoyType` variable followed by itself again.