Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upDefine `toListOf` more efficiently using Endo? #105
Comments
This comment has been minimized.
This comment has been minimized.
|
Sold. |
added a commit
that referenced
this issue
Nov 21, 2012
ekmett
closed this
Nov 21, 2012
ghost
assigned
ekmett
Nov 21, 2012
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
shachaf commentedNov 21, 2012
toListOf l = foldrOf l (:) []is asymptotically more efficient than the current definition for e.g. a left-biased tree.