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.

Sign up for GitHub

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

Jump to bottom

import Using the Format Module #41

Closed
agarwal opened this issue Aug 18, 2012 · 2 comments
Closed

import Using the Format Module #41

agarwal opened this issue Aug 18, 2012 · 2 comments
Assignees
@Chris00

Comments

@agarwal
Copy link
Member

agarwal commented Aug 18, 2012

Inria's Using the Format Module page can be considered a tutorial. Import it as a new page under the tutorials/ directory and add a link from tutorials.html.
@ghost ghost assigned Chris00 Sep 1, 2012
@Chris00
Copy link
Member

Chris00 commented Sep 1, 2012

Done. 6f159d8

Probably want to eval the OCaml code on the page with the new engine.

@Chris00
Copy link
Member

Chris00 commented Sep 2, 2012

I have done that (and removed a section with bugs that, to correct, was going to look a lot like the next section). 56942d0

@Chris00 Chris00 closed this as completed Sep 2, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Chris00 Chris00

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@agarwal @Chris00