summaryrefslogtreecommitdiffhomepage
path: root/ocaml.html.markdown
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml.html.markdown')
-rw-r--r--ocaml.html.markdown10
1 files changed, 6 insertions, 4 deletions
diff --git a/ocaml.html.markdown b/ocaml.html.markdown
index fd7ca36e..c104823a 100644
--- a/ocaml.html.markdown
+++ b/ocaml.html.markdown
@@ -1,5 +1,5 @@
---
-language: "OCaml"
+language: OCaml
contributors:
- ["Daniil Baturin", "http://baturin.org/"]
---
@@ -20,6 +20,7 @@ source of confusion for beginners.
When you are in the top level loop, OCaml will print the inferred type
after you enter an expression.
+
```
# let inc x = x + 1 ;;
val inc : int -> int = <fun>
@@ -42,6 +43,7 @@ val inc : int -> int
val add : int -> int -> int
val a : int
```
+
Note that type signatures of functions of multiple arguments are
written in curried form.
@@ -304,6 +306,6 @@ sum_int_list t ;;
## Further reading
-* Visit the official website to get the compiler and read the docs: http://ocaml.org/
-* Try interactive tutorials and a web-based interpreter by OCaml Pro: http://try.ocamlpro.com/
-* Read "OCaml for the skeptical" course: http://www2.lib.uchicago.edu/keith/ocaml-class/home.html
+* Visit the official website to get the compiler and read the docs: <http://ocaml.org/>
+* Try interactive tutorials and a web-based interpreter by OCaml Pro: <http://try.ocamlpro.com/>
+* Read "OCaml for the skeptical" course: <http://www2.lib.uchicago.edu/keith/ocaml-class/home.html>