Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Add a link to EEP8

Suggested by Vlad Dumitrescu.
  • Loading branch information...
commit 68f1e606f3307c7bb40d69efe154307207711ede 1 parent cb62972
@bjorng bjorng authored Erlang/OTP committed
Showing with 15 additions and 0 deletions.
  1. +15 −0 system/doc/reference_manual/modules.xml
View
15 system/doc/reference_manual/modules.xml
@@ -167,6 +167,21 @@ fact(0) -> % |
the original user-written file from which the source program
was produced.</p>
</section>
+
+ <section>
+ <title>Types and function specifications</title>
+ <p>The current release implements types and function specifications
+ as described in
+ <url href="http://www.erlang.org/eeps/eep-0008.html">EEP8 -
+Types and function specifications</url>.
+
+ <note>
+ <p>The implementation and EEP8 may not exactly correspond to
+ each other. In a future release, type and function specifications
+ will be described in this reference manual.</p>
+ </note>
+ </p>
+ </section>
</section>
<section>
Please sign in to comment.
Something went wrong with that request. Please try again.