We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1319155 commit ac62400Copy full SHA for ac62400
examples/BasicExamples.idr
@@ -208,4 +208,4 @@ Here is the in-order traversal of `treeExample1` from above.
208
Can also use Utils.Traversals.inorder
209
--------------------}
210
traversalExample : CTensor [List] Double
211
-traversalExample = restructure (wrap inorder) treeExample1
+traversalExample = restructure (wrapIntoVector inorder) treeExample1
0 commit comments