diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2018-03-24 14:01:32 -0300 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2018-03-26 13:51:07 -0300 |
commit | 99eabe2ee6ba2ece346c2739bdf041077c724923 (patch) | |
tree | fa8d14ae9adb4537a4d1264dcc15b35a16c4b8c7 /doc/sphinx/index.rst | |
parent | 2e24b82ced473fa5b8f9671407fcc8a8712fe946 (diff) |
[doc] Port Chapter 20 Type Classes to Sphinx
Diffstat (limited to 'doc/sphinx/index.rst')
-rw-r--r-- | doc/sphinx/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst index c5d4936b1..cf64aea03 100644 --- a/doc/sphinx/index.rst +++ b/doc/sphinx/index.rst @@ -45,6 +45,7 @@ Table of contents addendum/extended-pattern-matching addendum/canonical-structures + addendum/type-classes addendum/omega addendum/micromega |