Merge pull request #4689 from jfdm/improve-language-doc

Initial transfer of {AS} grammar to Sphinx Documentation.
idris-lang · Apr 18, 2019 · c2d21f8 · c2d21f8
2 parents 3befe35 + 58bfb08
commit c2d21f8
Show file tree

Hide file tree

Showing 3 changed files with 427 additions and 2 deletions.
diff --git a/docs/reference/index.rst b/docs/reference/index.rst
@@ -26,6 +26,7 @@ This will tell you how Idris works, for using it you should read the Idris Tutor
    uniqueness-types
    ffi
    syntax-guide
+   syntax-reference
    erasure
    ide-protocol
    semantic-highlighting