[doc] List: typo in lib/stdlib/core/list.opa #97

Merged
merged 2 commits into from Mar 16, 2013

Conversation

Projects
None yet
2 participants
@kmtu
Contributor

kmtu commented Dec 6, 2012

Fix a typo in API doc.

kmtu added some commits Dec 6, 2012

[Fix] doc error
- * [a <+> b] is the same thing as <>{a}{b}</>
+ * [a <+> b] is the same thing as [<>{a}{b}</>]
@kmtu

This comment has been minimized.

Show comment
Hide comment
@kmtu

kmtu Dec 6, 2012

Contributor

I am not sure whether I should use [fix] or [doc] in the commit title.

Contributor

kmtu commented Dec 6, 2012

I am not sure whether I should use [fix] or [doc] in the commit title.

@Aqua-Ye

This comment has been minimized.

Show comment
Hide comment
@Aqua-Ye

Aqua-Ye Dec 6, 2012

Contributor

You should write [doc] List: typo for example, no need to precise it's a fix :)

Contributor

Aqua-Ye commented Dec 6, 2012

You should write [doc] List: typo for example, no need to precise it's a fix :)

Aqua-Ye added a commit that referenced this pull request Mar 16, 2013

Merge pull request #97 from TuTu/patch-1
[contrib] List: doc typo in lib/stdlib/core/list.opa

@Aqua-Ye Aqua-Ye merged commit fa07b3d into MLstate:master Mar 16, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment