We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 458999d commit ad003eaCopy full SHA for ad003ea
discopy/python.py
@@ -171,9 +171,9 @@ def id(dom: Ty) -> Function:
171
The identity function on a given tuple of types :code:`dom`.
172
173
Parameters:
174
- dom (python.Ty) : The typle of types on which to take the identity.
+ dom (python.Ty) : The tuple of types on which to take the identity.
175
"""
176
- return Function(untuplify, dom, dom)
+ return Function(lambda *xs: untuplify(xs), dom, dom)
177
178
def then(self, other: Function) -> Function:
179
0 commit comments