git.iko.soy/Idris-dev
on master help sign in
Fix missing index contents
434dbabJan de Muijnck-Hughes
docs/index.rst+2
compare with master
unifiedsplit
@@ -105,6 +105,7 @@ Language Reference
105 reference/packages
105 reference/packages
106 reference/uniqueness-types
106 reference/uniqueness-types
107 reference/ffi
107 reference/ffi
108+ reference/syntax-guide
108 reference/erasure
109 reference/erasure
109 reference/ide-protocol
110 reference/ide-protocol
110 reference/semantic-highlighting
111 reference/semantic-highlighting
@@ -113,6 +114,7 @@ Language Reference
113 reference/compilation
114 reference/compilation
114 reference/language-features
115 reference/language-features
115 reference/language-extensions
116 reference/language-extensions
117+ reference/elaborator-reflection
116 reference/misc
118 reference/misc
117
119
118.. _guides:
120.. _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
24 packages
24 packages
25 uniqueness-types
25 uniqueness-types
26 ffi
26 ffi
27+ syntax-guide
27 erasure
28 erasure
29+ ide-protocol
28 semantic-highlighting
30 semantic-highlighting
29− repl
30− syntax-guide
31 tactics
31 tactics
32+ repl
32 compilation
33 compilation
33 language-features
34 language-features
34 language-extensions
35 language-extensions