Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update the cornell course to latest one and add UIUC course #47

Merged
merged 1 commit into from
Jul 13, 2015

Conversation

Xuefeng-Zhu
Copy link
Contributor

No description provided.

@amirmc
Copy link
Contributor

amirmc commented Jul 13, 2015

Would you mind also updating the page on OCaml.org?

http://ocaml.org/learn/teaching-ocaml.html

@rizo
Copy link
Member

rizo commented Jul 13, 2015

Alas I lack the time to think how to merge this list with the official docs.

rizo pushed a commit that referenced this pull request Jul 13, 2015
update the cornell course to latest one and add UIUC course
@rizo rizo merged commit c8f2506 into ocaml-community:master Jul 13, 2015
@amirmc
Copy link
Contributor

amirmc commented Jul 13, 2015

That was actually directed at @Xuefeng-Zhu :)

@Xuefeng-Zhu
Copy link
Contributor Author

Could you please tell me how to update http://ocaml.org/learn/teaching-ocaml.html?

@rizo
Copy link
Member

rizo commented Jul 13, 2015

Already updated it @Xuefeng-Zhu :)

Here: ocaml/ocaml.org#677

@rizo
Copy link
Member

rizo commented Jul 13, 2015

@amirmc I know! :) But your comment reminded me of the issue you created some time ago (#35).

@amirmc
Copy link
Contributor

amirmc commented Jul 13, 2015

Yeah, I think as long as there's up to date info in the places people look then I think we're net-positive :)

@Xuefeng-Zhu, on the top right of each page of OCaml.org is a link that says 'edit this page' (or maybe it's a pencil symbol -- the mobile view has a dropdown). Clicking that takes you directly to the relevant file on GitHub and you can use their WebUI to make an edit and submit a PR.

@Xuefeng-Zhu
Copy link
Contributor Author

Got it. Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants