git.iko.soy/Idris-dev
on master help sign in
Fix missing index contents
commit434dbabf7fe82448da78f8553c846093879527b3 authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateMon 29 Jun 2015, 14:28 (11 years ago) parent18931a4
2 files changed+5−2
compare with master
unifiedsplit
docs/index.rst+2 docs/reference/index.rst+3−2
docs/index.rst+2
@@ -105,6 +105,7 @@ Language Reference
105105 reference/packages
106106 reference/uniqueness-types
107107 reference/ffi
108+ reference/syntax-guide
108109 reference/erasure
109110 reference/ide-protocol
110111 reference/semantic-highlighting
@@ -113,6 +114,7 @@ Language Reference
113114 reference/compilation
114115 reference/language-features
115116 reference/language-extensions
117+ reference/elaborator-reflection
116118 reference/misc
117119
118120.. _guides:
docs/reference/index.rst+3−2
@@ -24,11 +24,12 @@ This will tell you how Idris works, for using it you should read the Idris Tutor
2424 packages
2525 uniqueness-types
2626 ffi
27+ syntax-guide
2728 erasure
29+ ide-protocol
2830 semantic-highlighting
29− repl
30− syntax-guide
3131 tactics
32+ repl
3233 compilation
3334 language-features
3435 language-extensions