diff --git a/articles/user-guide/language-ref/attributes/entrypoint-ref.md b/articles/user-guide/language-ref/attributes/entrypoint-ref.md
new file mode 100644
index 0000000000..8a2663fde0
--- /dev/null
+++ b/articles/user-guide/language-ref/attributes/entrypoint-ref.md
@@ -0,0 +1,16 @@
+---
+title: '@EntryPoint'
+description: Keyword reference '@EntryPoint'
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.entrypoint
+---
+
+# `@EntryPoint`
+
+fill
+
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/5_Attributes.md#attributes
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/attributes/test-ref.md b/articles/user-guide/language-ref/attributes/test-ref.md
new file mode 100644
index 0000000000..d2c2b1968a
--- /dev/null
+++ b/articles/user-guide/language-ref/attributes/test-ref.md
@@ -0,0 +1,16 @@
+---
+title: '@Test'
+description: Keyword reference '@Test'
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.test
+---
+
+# `@Test`
+
+fill
+
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/5_Attributes.md#attributes
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/binding-assignment/let-ref.md b/articles/user-guide/language-ref/binding-assignment/let-ref.md
new file mode 100644
index 0000000000..673f22a847
--- /dev/null
+++ b/articles/user-guide/language-ref/binding-assignment/let-ref.md
@@ -0,0 +1,15 @@
+---
+title: let
+description: Keyword reference let
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.let
+---
+
+# `let`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/VariableDeclarationsAndReassignments.md#variable-declarations-and-reassignments
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/binding-assignment/mutable-ref.md b/articles/user-guide/language-ref/binding-assignment/mutable-ref.md
new file mode 100644
index 0000000000..88529f2138
--- /dev/null
+++ b/articles/user-guide/language-ref/binding-assignment/mutable-ref.md
@@ -0,0 +1,15 @@
+---
+title: mutable
+description: Keyword reference mutable
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.mutable
+---
+
+# `mutable`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/VariableDeclarationsAndReassignments.md#variable-declarations-and-reassignments
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/binding-assignment/new-ref.md b/articles/user-guide/language-ref/binding-assignment/new-ref.md
new file mode 100644
index 0000000000..de3e713aca
--- /dev/null
+++ b/articles/user-guide/language-ref/binding-assignment/new-ref.md
@@ -0,0 +1,13 @@
+---
+title: new
+description: Keyword reference new
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.new
+---
+
+# `new`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/binding-assignment/set-ref.md b/articles/user-guide/language-ref/binding-assignment/set-ref.md
new file mode 100644
index 0000000000..6e35828a20
--- /dev/null
+++ b/articles/user-guide/language-ref/binding-assignment/set-ref.md
@@ -0,0 +1,15 @@
+---
+title: set
+description: Keyword reference set
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.set
+---
+
+# `set`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/VariableDeclarationsAndReassignments.md#variable-declarations-and-reassignments
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/functors/adjoint-ref.md b/articles/user-guide/language-ref/callables/functors/adjoint-ref.md
new file mode 100644
index 0000000000..4ed02249ad
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/functors/adjoint-ref.md
@@ -0,0 +1,15 @@
+---
+title: Adjoint
+description: Keyword reference Adjoint
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.adjoint
+---
+
+# `Adjoint`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/FunctorApplication.md#functor-application
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/functors/controlled-adjoint-ref.md b/articles/user-guide/language-ref/callables/functors/controlled-adjoint-ref.md
new file mode 100644
index 0000000000..a5b7a92aac
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/functors/controlled-adjoint-ref.md
@@ -0,0 +1,15 @@
+---
+title: Controlled Adjoint
+description: Keyword reference Controlled Adjoint
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.controlled-adjoint
+---
+
+# `Controlled Adjoint`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/FunctorApplication.md#functor-application
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/functors/controlled-ref.md b/articles/user-guide/language-ref/callables/functors/controlled-ref.md
new file mode 100644
index 0000000000..3c9698b4ee
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/functors/controlled-ref.md
@@ -0,0 +1,15 @@
+---
+title: Controlled
+description: Keyword reference Controlled
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.controlled
+---
+
+# `Controlled`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/FunctorApplication.md#functor-application
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/op-specializations/directives/auto-ref.md b/articles/user-guide/language-ref/callables/op-specializations/directives/auto-ref.md
new file mode 100644
index 0000000000..8a3cbc9025
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/op-specializations/directives/auto-ref.md
@@ -0,0 +1,13 @@
+---
+title: auto
+description: Keyword reference auto
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.auto
+---
+
+# `auto`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/op-specializations/directives/distribute-ref.md b/articles/user-guide/language-ref/callables/op-specializations/directives/distribute-ref.md
new file mode 100644
index 0000000000..66cb484c38
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/op-specializations/directives/distribute-ref.md
@@ -0,0 +1,13 @@
+---
+title: distribute
+description: Keyword reference distribute
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.distribute
+---
+
+# `distribute`
+
+fillhttps://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/op-specializations/directives/intrinsic-ref.md b/articles/user-guide/language-ref/callables/op-specializations/directives/intrinsic-ref.md
new file mode 100644
index 0000000000..deb4d43418
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/op-specializations/directives/intrinsic-ref.md
@@ -0,0 +1,13 @@
+---
+title: intrinsic
+description: Keyword reference intrinsic
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.intrinsic
+---
+
+# `intrinsic`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/op-specializations/directives/invert-ref.md b/articles/user-guide/language-ref/callables/op-specializations/directives/invert-ref.md
new file mode 100644
index 0000000000..8a66ff6990
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/op-specializations/directives/invert-ref.md
@@ -0,0 +1,13 @@
+---
+title: invert
+description: Keyword reference invert
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.invert
+---
+
+# `invert`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/op-specializations/directives/self-ref.md b/articles/user-guide/language-ref/callables/op-specializations/directives/self-ref.md
new file mode 100644
index 0000000000..c616a7a293
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/op-specializations/directives/self-ref.md
@@ -0,0 +1,13 @@
+---
+title: self
+description: Keyword reference self
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.self
+---
+
+# `self`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/op-specializations/tags/adjoint-tag-ref.md b/articles/user-guide/language-ref/callables/op-specializations/tags/adjoint-tag-ref.md
new file mode 100644
index 0000000000..7e6148aed4
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/op-specializations/tags/adjoint-tag-ref.md
@@ -0,0 +1,13 @@
+---
+title: adjoint (Specialization Tag)
+description: Keyword reference (specialization tag) adjoint
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.adjoint-tag
+---
+
+# `adjoint` (Specialization Tag)
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/op-specializations/tags/body-tag-ref.md b/articles/user-guide/language-ref/callables/op-specializations/tags/body-tag-ref.md
new file mode 100644
index 0000000000..82e5751d07
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/op-specializations/tags/body-tag-ref.md
@@ -0,0 +1,15 @@
+---
+title: body (Specialization Tag)
+description: Keyword reference (specialization tag) body
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.body-tag
+---
+
+# `body` (Specialization Tag)
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/3_CallableDeclarations.md#callable-declarations
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/op-specializations/tags/controlled-adjoint-tag-ref.md b/articles/user-guide/language-ref/callables/op-specializations/tags/controlled-adjoint-tag-ref.md
new file mode 100644
index 0000000000..87dea71bac
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/op-specializations/tags/controlled-adjoint-tag-ref.md
@@ -0,0 +1,13 @@
+---
+title: controlled adjoint (Specialization Tag)
+description: Keyword reference (specialization tag) controlled adjoint
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.controlled-adjoint-tag
+---
+
+# `controlled adjoint` (Specialization Tag)
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/op-specializations/tags/controlled-tag-ref.md b/articles/user-guide/language-ref/callables/op-specializations/tags/controlled-tag-ref.md
new file mode 100644
index 0000000000..0d778ab514
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/op-specializations/tags/controlled-tag-ref.md
@@ -0,0 +1,13 @@
+---
+title: controlled (Specialization Tag)
+description: Keyword reference (specialization tag) controlled
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.controlled-tag
+---
+
+# `controlled` (Specialization Tag)
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/partial-app-symb-ref.md b/articles/user-guide/language-ref/callables/partial-app-symb-ref.md
new file mode 100644
index 0000000000..b3a3bef5f9
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/partial-app-symb-ref.md
@@ -0,0 +1,20 @@
+---
+title: '_ (partial application)'
+description: 'Keyword reference _ partial application symbol'
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.partial-app-symb
+---
+
+# `_` (partial application)
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/PartialApplication.md#partial-application
+
+
+
+*Alternative use*: accessing only part of a deconstructed/unwrapped tuple.
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ItemAccessExpressions.md#item-access-for-user-defined-types
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/return-ref.md b/articles/user-guide/language-ref/callables/return-ref.md
new file mode 100644
index 0000000000..6963c4a760
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/return-ref.md
@@ -0,0 +1,15 @@
+---
+title: return
+description: Keyword reference return
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.return
+---
+
+# `return`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/ReturnsAndTermination.md#return-statement
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/signature/adj-ctl-ref.md b/articles/user-guide/language-ref/callables/signature/adj-ctl-ref.md
new file mode 100644
index 0000000000..57287d126a
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/signature/adj-ctl-ref.md
@@ -0,0 +1,15 @@
+---
+title: 'is Adj + Ctl'
+description: Keyword reference 'Adj + Ctl'
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.adj-ctl
+---
+
+# `is Adj + Ctl`
+
+Equivalent to `is Ctl + Adj`.
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/4_TypeSystem/OperationsAndFunctions.md#operation-characteristics
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/signature/adj-ref.md b/articles/user-guide/language-ref/callables/signature/adj-ref.md
new file mode 100644
index 0000000000..09e3fe5939
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/signature/adj-ref.md
@@ -0,0 +1,13 @@
+---
+title: is Adj
+description: Keyword reference Adj
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.adj
+---
+
+# `is Adj`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/4_TypeSystem/OperationsAndFunctions.md#operation-characteristics
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/signature/ctl-ref.md b/articles/user-guide/language-ref/callables/signature/ctl-ref.md
new file mode 100644
index 0000000000..1846196731
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/signature/ctl-ref.md
@@ -0,0 +1,13 @@
+---
+title: is Ctl
+description: Keyword reference Ctl
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.ctl
+---
+
+# `is Ctl`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/4_TypeSystem/OperationsAndFunctions.md#operation-characteristics
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/signature/fn-signature-symb-ref.md b/articles/user-guide/language-ref/callables/signature/fn-signature-symb-ref.md
new file mode 100644
index 0000000000..9ff38c89e3
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/signature/fn-signature-symb-ref.md
@@ -0,0 +1,13 @@
+---
+title: '-> (Function Signature)'
+description: 'Keyword reference -> function signature symbol'
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.fn-signature-symb
+---
+
+# `->` (Function Signature)
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/callables/signature/op-signature-symb-ref.md b/articles/user-guide/language-ref/callables/signature/op-signature-symb-ref.md
new file mode 100644
index 0000000000..a4fb6720fe
--- /dev/null
+++ b/articles/user-guide/language-ref/callables/signature/op-signature-symb-ref.md
@@ -0,0 +1,13 @@
+---
+title: '=> (Operation Signature)'
+description: 'Keyword reference => operation signature symbol'
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.op-signature-symb
+---
+
+# `=>` (Operation Signature)
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/apply-within-ref.md b/articles/user-guide/language-ref/control-flow/apply-within-ref.md
new file mode 100644
index 0000000000..0ce132bf6f
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/apply-within-ref.md
@@ -0,0 +1,15 @@
+---
+title: apply-within (conjugation)
+description: Keyword reference apply-within
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.apply-within
+---
+
+# `apply-within` (conjugation)
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/Conjugations.md#conjugations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/elif-ref.md b/articles/user-guide/language-ref/control-flow/elif-ref.md
new file mode 100644
index 0000000000..aed4a33c90
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/elif-ref.md
@@ -0,0 +1,13 @@
+---
+title: elif
+description: Keyword reference elif
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.elif
+---
+
+# `elif`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/ConditionalBranching.md#conditional-branching
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/else-ref.md b/articles/user-guide/language-ref/control-flow/else-ref.md
new file mode 100644
index 0000000000..65aa03f0f2
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/else-ref.md
@@ -0,0 +1,13 @@
+---
+title: else
+description: Keyword reference else
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.else
+---
+
+# `else`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/ConditionalBranching.md#conditional-branching
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/fail-ref.md b/articles/user-guide/language-ref/control-flow/fail-ref.md
new file mode 100644
index 0000000000..f2bc747980
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/fail-ref.md
@@ -0,0 +1,15 @@
+---
+title: fail
+description: Keyword reference fail
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.fail
+---
+
+# `fail`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/ReturnsAndTermination.md#fail-statement
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/fixup-ref.md b/articles/user-guide/language-ref/control-flow/fixup-ref.md
new file mode 100644
index 0000000000..0145e9c010
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/fixup-ref.md
@@ -0,0 +1,15 @@
+---
+title: fixup
+description: Keyword reference fixup
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.fixup
+---
+
+# `fixup`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/ConditionalLoops.md#conditional-loops
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/for-ref.md b/articles/user-guide/language-ref/control-flow/for-ref.md
new file mode 100644
index 0000000000..d5f31a38a8
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/for-ref.md
@@ -0,0 +1,15 @@
+---
+title: for
+description: Keyword reference for
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.for
+---
+
+# `for`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/Iterations.md#iterations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/if-ref.md b/articles/user-guide/language-ref/control-flow/if-ref.md
new file mode 100644
index 0000000000..12d2eddad7
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/if-ref.md
@@ -0,0 +1,13 @@
+---
+title: if
+description: Keyword reference if
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.if
+---
+
+# `if`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/ConditionalBranching.md#conditional-branching
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/in-ref.md b/articles/user-guide/language-ref/control-flow/in-ref.md
new file mode 100644
index 0000000000..980c76c6f0
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/in-ref.md
@@ -0,0 +1,15 @@
+---
+title: in
+description: Keyword reference in
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.in
+---
+
+# `in`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/Iterations.md#iterations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/repeat-until-ref.md b/articles/user-guide/language-ref/control-flow/repeat-until-ref.md
new file mode 100644
index 0000000000..c1bca65db7
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/repeat-until-ref.md
@@ -0,0 +1,13 @@
+---
+title: repeat-until
+description: Keyword reference repeat-until
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.repeat-until
+---
+
+# `repeat-until`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/ConditionalLoops.md#conditional-loops
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/control-flow/while-ref.md b/articles/user-guide/language-ref/control-flow/while-ref.md
new file mode 100644
index 0000000000..2ae038627c
--- /dev/null
+++ b/articles/user-guide/language-ref/control-flow/while-ref.md
@@ -0,0 +1,15 @@
+---
+title: while
+description: Keyword reference while
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.while
+---
+
+# `while`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/ConditionalLoops.md#conditional-loops
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/declaration/function-ref.md b/articles/user-guide/language-ref/declaration/function-ref.md
new file mode 100644
index 0000000000..36f7cab75c
--- /dev/null
+++ b/articles/user-guide/language-ref/declaration/function-ref.md
@@ -0,0 +1,23 @@
+---
+title: function
+description: Keyword reference function
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.function
+---
+
+# `function`
+
+## Example
+
+## Further details
+
+### QDK documentation
+- 
+
+
+### Q# language repository
+- [Callable Declarations](https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/3_CallableDeclarations.md#callable-declarations)
+- [Operations and Functions](https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/4_TypeSystem/OperationsAndFunctions.md#operations-and-functions)
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/declaration/internal-ref.md b/articles/user-guide/language-ref/declaration/internal-ref.md
new file mode 100644
index 0000000000..e82465e532
--- /dev/null
+++ b/articles/user-guide/language-ref/declaration/internal-ref.md
@@ -0,0 +1,37 @@
+---
+title: internal
+description: Keyword reference internal
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 09/20/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.internal
+---
+
+# `internal`
+
+In many cases, a callable or type name is intended strictly for use internal to a library or project, and is not a guaranteed part of the API offered by a library.
+It is helpful to clearly indicate that this is the case when naming functions and operations so that accidental dependencies on internal-only code are made obvious.
+If an operation or function is not intended for direct use, but rather should be used by a matching callable which acts by partial application, consider using a name starting with the `internal` keyword for the callable that is partially applied.
+
+As per the Style Guide, we suggest:
+
+- When a function, operation, or user-defined type is not a part of the public API for a Q# library or program, ensure that it is marked as internal by placing the `internal` keyword before the `function`, `operation`, or `newtype` declaration.
+
+## Examples
+
+```qsharp
+internal operation OpName(...) : Unit {
+    /// ...
+}
+```
+
+The `internal` keyword at the beginning clearly indicates that this operation is for internal use only.
+
+
+## Locations in documentation
+
+- [Style Guide: Naming Conventions](xref:microsoft.quantum.contributing.style#private-or-internal-names). 
+
+<!-- Maybe the following? page is empty so unsure -->
+- Q# language repository: [Access Modifiers](https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/6_AccessModifiers.md#access-modifiers)
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/declaration/newtype-ref.md b/articles/user-guide/language-ref/declaration/newtype-ref.md
new file mode 100644
index 0000000000..05706f5660
--- /dev/null
+++ b/articles/user-guide/language-ref/declaration/newtype-ref.md
@@ -0,0 +1,17 @@
+---
+title: newtype
+description: Keyword reference newtype
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.newtype
+---
+
+# `newtype`
+
+## Example
+
+## More details
+- *QDK documentation*: 
+- *Q# language repository*: [Type Declarations](https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/2_TypeDeclarations.md#type-declarations)
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/declaration/operation-ref.md b/articles/user-guide/language-ref/declaration/operation-ref.md
new file mode 100644
index 0000000000..fbc506fbab
--- /dev/null
+++ b/articles/user-guide/language-ref/declaration/operation-ref.md
@@ -0,0 +1,19 @@
+---
+title: operation
+description: Keyword reference operation
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.operation
+---
+
+# `operation`
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/4_TypeSystem/TypeParameterizations.md#type-parameterizations
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/4_TypeSystem/OperationsAndFunctions.md#operations-and-functions
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/3_CallableDeclarations.md#callable-declarations
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/4_SpecializationDeclarations.md#specialization-declarations
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/language-reference.md b/articles/user-guide/language-ref/language-reference.md
new file mode 100644
index 0000000000..d6b351c5fe
--- /dev/null
+++ b/articles/user-guide/language-ref/language-reference.md
@@ -0,0 +1,110 @@
+---
+title: Keyword and language reference
+description: List of keywords and common symbols in the Q# language, with links to their respective pages in documentation
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 09/20/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.main-list
+---
+
+# Q# Keyword and Language Reference
+
+This page contains brief descriptions and links to further information about all Q# language keywords and many common symbols. 
+Each keyword is hyperlinked to its own dedicated page where you will find more details and examples of its use.
+
+## Keywords
+
+|Keyword|Description|
+|----|-----------|
+|[`Adjoint`](xref:microsoft.quantum.lang-ref.adjoint)|Operation functor; used to call the adjoint version of an operation.|
+|[`adjoint`](xref:microsoft.quantum.lang-ref.adjoint-tag)|Specialization tag used to explicitly define the implementation of an operation's adjoint specialization.|
+|[`apply-within`](xref:microsoft.quantum.lang-ref.apply-within)|Programming structure which allows an operation or statement block to be applied between a sandwich of the standard and adjoint implementations of another operation or statement block.|
+|[`as`](xref:microsoft.quantum.lang-ref.as)|Used in an `open` statement to define a short name for a namespace.|
+|[`auto`](xref:microsoft.quantum.lang-ref.auto)|Generation directive indicating that the compiler should select an appropriate directive to apply when generating an operation specialization.|
+|[`body`](xref:microsoft.quantum.lang-ref.body-tag)|Specialization tag used to explicitly define the implementation of an operation's standard version (called when no functors are applied).|
+|[`borrowing`](xref:microsoft.quantum.lang-ref.borrowing)|Used to allocate qubits for temporary use, which do not need to be in a specific state. Compare to `using`, which allocates fresh qubits in $\ket{0}$.|
+|[`Controlled`](xref:microsoft.quantum.lang-ref.controlled)|Operation functor; used to call the controlled version of an operation.|
+|[`controlled`](xref:microsoft.quantum.lang-ref.controlled-tag)|Specialization tag used to explicitly define the implementation of an operation's controlled specialization.|
+|[`Controlled Adjoint`](xref:microsoft.quantum.lang-ref.controlled-adjoint)|Operation functor; used to call the controlled adjoint version of an operation.|
+|[`controlled adjoint`](xref:microsoft.quantum.lang-ref.controlled-adjoint-tag)|Specialization tag used to explicitly define the implementation of an operation's controlled adjoint specialization. *Equivalent to* `adjoint controlled`.|
+|[`distribute`](xref:microsoft.quantum.lang-ref.distribute)|Generation directive indicating how the compiler should generate an operation specialization. Can be used with `controlled` and `controlled adjoint` specializations.|
+|[`elif`](xref:microsoft.quantum.lang-ref.elif)|Indicates an *else-if* clause, to be evaluated if a preceding *if* condition was *false*.|
+|[`else`](xref:microsoft.quantum.lang-ref.else)|Indicates an *else* block, which will be run if, to be evaluated if the preceding *if* condition was *false* (in addition to any *else-if* conditions).|
+|[`fail`](xref:microsoft.quantum.lang-ref.fail)|Ends the run of an operation and returns an error message to the caller.|
+|[`fixup`](xref:microsoft.quantum.lang-ref.fixup)|Optional block to be run after each failed repetiton of a `repeat-until` loop.|
+|[`for`](xref:microsoft.quantum.lang-ref.for)|Supports iteration over an integer range or an array. Used in conjunction with `in`.|
+|[`function`](xref:microsoft.quantum.lang-ref.function)|Marks the declaration of a new function.|
+|[`if`](xref:microsoft.quantum.lang-ref.if)|Followed by a Boolean expression, supports conditional processing.|
+|[`in`](xref:microsoft.quantum.lang-ref.in)|Supports iteration over an integer range or an array. Used in conjunction with `for`.|
+|[`internal`](xref:microsoft.quantum.lang-ref.internal)|When declaring an `operation`, `function`, or `newtype`, used to indicate that it is for internal use only, and not a part of the public API.|
+|[`intrinsic`](xref:microsoft.quantum.lang-ref.intrinsic)|Generation directive indicating that the target machine provides an operation specialization.|
+|[`invert`](xref:microsoft.quantum.lang-ref.invert)|Generation directive indicating how the compiler should generate an operation specialization. Can be used with `adjoint` and `controlled adjoint` specializations.|
+|[`is Adj`](xref:microsoft.quantum.lang-ref.adj)|Annotation to the signature of an operation being defined; declares the existence of an adjoint specialization. Thus the `Adjoint` functor can be used when calling the operation.|
+|[`is Adj + Ctl`](xref:microsoft.quantum.lang-ref.adj-ctl)|Annotation to the signature of an operation being defined; declares the existence of a controlled adjoint specialization. Thus the `Controlled Adjoint` functor can be used when calling the operation. *Equivalent to* `is Ctl + Adj`.|
+|[`is Ctl`](xref:microsoft.quantum.lang-ref.ctl)|Annotation to the signature of an operation being defined; declares the existence of a controlled specialization. Thus the `Controlled` functor can be used when calling the operation.|
+|[`let`](xref:microsoft.quantum.lang-ref.let)|Used to bind a value to an immutable variable. Compare to `mutable`, which allows rebinding.|
+|[`mutable`](xref:microsoft.quantum.lang-ref.mutable)|Used to create a mutable variable which can be rebound using `set`.|
+|[`namespace`](xref:microsoft.quantum.lang-ref.namespace)|Marks the declaration of a namespace within a Q# file; directly precedes the namespace name.|
+|[`new`](xref:microsoft.quantum.lang-ref.new)|Used to create a new array of a given length and element-type.|
+|[`newtype`](xref:microsoft.quantum.lang-ref.newtype)|Marks the declaration of a new user-defined type.|
+|[`open`](xref:microsoft.quantum.lang-ref.open)|Directive used to import all types and callables defined within a certain namespace.|
+|[`operation`](xref:microsoft.quantum.lang-ref.operation)|Marks the declaration of a new operation.|
+|[`repeat-until`](xref:microsoft.quantum.lang-ref.repeat-until)|Programming structure supporting the quantum-specific *repeat-until-success* pattern. Runs the *repeat* loop body until a Boolean expression evaluates to `True`. Can be supplemented with a `fixup` block, which runs after each failed repetition.|
+|[`return`](xref:microsoft.quantum.lang-ref.return)|Ends the run of an operation or function and returns a value to the caller. Not required in callables which return `Unit`.|
+|[`self`](xref:microsoft.quantum.lang-ref.self)|Generation directive indicating that the `adjoint` specialization of an operation is the same as the `body` implementation. Can be used with `adjoint` and `adjoint controlled` specializations.|
+|[`set`](xref:microsoft.quantum.lang-ref.set)|Used to rebind a mutable variable.|
+|[`using`](xref:microsoft.quantum.lang-ref.using)|Used to allocate new qubits for use in a statement block.|
+|[`while`](xref:microsoft.quantum.lang-ref.while)|Supports running a statement block until an expression evaluates to `True`. Only to be used within *functions*, while the quantum-specific `repeat-until` loops should be used inside *operations*.|
+
+## Intrinsic types
+
+|Type|Description|
+|----|-----------|
+|[`BigInt`](xref:microsoft.quantum.lang-ref.bigint)|...|
+|[`Bool`](xref:microsoft.quantum.lang-ref.bool)|...|
+|[`Double`](xref:microsoft.quantum.lang-ref.double)|...|
+|[`Int`](xref:microsoft.quantum.lang-ref.int)|...|
+|[`Pauli`](xref:microsoft.quantum.lang-ref.pauli)|...|
+|[`Qubit`](xref:microsoft.quantum.lang-ref.qubit)|...|
+|[`Range`](xref:microsoft.quantum.lang-ref.range)|...|
+|[`Result`](xref:microsoft.quantum.lang-ref.result)|...|
+|[`String`](xref:microsoft.quantum.lang-ref.string)|...|
+|[`Unit`](xref:microsoft.quantum.lang-ref.unit)|...|
+
+## Reserved values 
+
+|Value|Type|
+|----|-----------|
+|[`True`](xref:microsoft.quantum.lang-ref.true)|`Bool`|
+|[`False`](xref:microsoft.quantum.lang-ref.false)|`Bool`|
+|[`Zero`](xref:microsoft.quantum.lang-ref.zero)|`Result`|
+|[`One`](xref:microsoft.quantum.lang-ref.one)|`Result`|
+|[`PauliI`](xref:microsoft.quantum.lang-ref.paulii)|`Pauli`|
+|[`PauliX`](xref:microsoft.quantum.lang-ref.paulix)|`Pauli`|
+|[`PauliY`](xref:microsoft.quantum.lang-ref.pauliy)|`Pauli`|
+|[`PauliZ`](xref:microsoft.quantum.lang-ref.pauliz)|`Pauli`|
+
+
+
+## Attributes
+
+|Attribute|Description|
+|----|-----------|
+|[`@EntryPoint`](xref:microsoft.quantum.lang-ref.entrypoint)|Used when running Q# directly via the command line interface. Marks an operation as that which will be run upon the `dotnet run` command.|
+|[`@Test`](xref:microsoft.quantum.lang-ref.test)|Marks an operation or function as a unit test to be run on a specific target machine. Can be used with any function that has no inputs or returns (i.e. simply `Unit`).|
+
+## Symbols
+
+|Symbol|Description|
+|----|-----------|
+|[`_`](xref:microsoft.quantum.lang-ref.partial-app-symb)|Used in partial application.|
+|[`->`](xref:microsoft.quantum.lang-ref.fn-signature-symb)|Describes the signature of a *function*.|
+|[`=>`](xref:microsoft.quantum.lang-ref.op-signature-symb)|Describes the signature of an *operation*.|
+
+
+
+
+## See also
+
+- ??
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/namespace/as-ref.md b/articles/user-guide/language-ref/namespace/as-ref.md
new file mode 100644
index 0000000000..05eefc53ca
--- /dev/null
+++ b/articles/user-guide/language-ref/namespace/as-ref.md
@@ -0,0 +1,13 @@
+---
+title: as
+description: Keyword reference as
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.as
+---
+
+# `as`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/namespace/namespace-ref.md b/articles/user-guide/language-ref/namespace/namespace-ref.md
new file mode 100644
index 0000000000..9934aadf58
--- /dev/null
+++ b/articles/user-guide/language-ref/namespace/namespace-ref.md
@@ -0,0 +1,17 @@
+---
+title: namespace
+description: Keyword reference namespace
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.namespace
+---
+
+# `namespace`
+
+## Example
+
+## More details
+- *QDK documentation*: 
+- *Q# language repository*: [Namespaces](https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/1_ProgramStructure/1_Namespaces.md#namespaces)
diff --git a/articles/user-guide/language-ref/namespace/open-ref.md b/articles/user-guide/language-ref/namespace/open-ref.md
new file mode 100644
index 0000000000..f53b644e64
--- /dev/null
+++ b/articles/user-guide/language-ref/namespace/open-ref.md
@@ -0,0 +1,13 @@
+---
+title: open
+description: Keyword reference open
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.open
+---
+
+# `open`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/qubits/borrowing-ref.md b/articles/user-guide/language-ref/qubits/borrowing-ref.md
new file mode 100644
index 0000000000..a19b679fc7
--- /dev/null
+++ b/articles/user-guide/language-ref/qubits/borrowing-ref.md
@@ -0,0 +1,15 @@
+---
+title: borrowing
+description: Keyword reference borrowing
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.borrowing
+---
+
+# `borrowing`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/QuantumMemoryManagement.md#quantum-memory-management
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/qubits/using-ref.md b/articles/user-guide/language-ref/qubits/using-ref.md
new file mode 100644
index 0000000000..905a270c61
--- /dev/null
+++ b/articles/user-guide/language-ref/qubits/using-ref.md
@@ -0,0 +1,15 @@
+---
+title: using
+description: Keyword reference using
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.using
+---
+
+# `using`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/2_Statements/QuantumMemoryManagement.md#quantum-memory-management
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/toc.yml b/articles/user-guide/language-ref/toc.yml
new file mode 100644
index 0000000000..0430bee163
--- /dev/null
+++ b/articles/user-guide/language-ref/toc.yml
@@ -0,0 +1,156 @@
+  expanded: true 
+  items:
+  - name: Keyword/symbol lists
+    href: language-reference.md
+  - name: Types
+    items:
+    - name: Primitive types
+      items:
+      - name: Int
+        href: types/int-ref.md
+      - name: BigInt
+        href: types/bigint-ref.md
+      - name: Double
+        href: types/double-ref.md
+      - name: Bool
+        href: types/bool-ref.md
+      - name: Range
+        href: types/range-ref.md
+      - name: String
+        href: types/string-ref.md
+      - name: Unit
+        href: types/unit-ref.md
+      - name: Qubit
+        href: types/qubit-ref.md
+      - name: Pauli
+        href: types/pauli-ref.md
+      - name: Result
+        href: types/result-ref.md
+    - name: Reserved symbols
+      items:
+      - name: 'true'
+        href: types/true-ref.md
+      - name: 'false'
+        href: types/false-ref.md
+      - name: PauliI
+        href: types/paulii-ref.md
+      - name: PauliX
+        href: types/paulix-ref.md
+      - name: PauliY
+        href: types/pauliy-ref.md
+      - name: PauliZ
+        href: types/pauliz-ref.md
+      - name: Zero
+        href: types/zero-ref.md
+      - name: One
+        href: types/one-ref.md
+  - name: 'Binding/Assignment'
+    items:
+    - name: new
+      href: binding-assignment/new-ref.md
+    - name: let
+      href: binding-assignment/let-ref.md
+    - name: mutable
+      href: binding-assignment/mutable-ref.md
+    - name: set
+      href: binding-assignment/set-ref.md
+  - name: Declaration
+    items:
+    - name: operation
+      href: declaration/operation-ref.md
+    - name: function
+      href: declaration/function-ref.md
+    - name: newtype
+      href: declaration/newtype-ref.md
+  - name: Callables
+    items:
+    - name: return
+      href: callables/return-ref.md
+    - name: '_ (partial application)'
+      href: callables/partial-app-symb-ref.md
+    - name: Functors
+      items:
+      - name: Controlled
+        href: callables/functors/controlled-ref.md
+      - name: Adjoint
+        href: callables/functors/adjoint-ref.md
+      - name: Controlled Adjoint
+        href: callables/functors/controlled-adjoint-ref.md
+    - name: Signatures
+      items:
+      - name: is Ctl
+        href: callables/signature/ctl-ref.md
+      - name: is Adj
+        href: callables/signature/adj-ref.md
+      - name: 'is Adj + Ctl'
+        href: callables/signature/adj-ctl-ref.md
+      - name: '=> (operation)'
+        href: callables/signature/op-signature-symb-ref.md
+      - name: '-> (function)'
+        href: callables/signature/fn-signature-symb-ref.md
+    - name: Operation Specializations
+      items:
+      - name: Tags
+        items:
+        - name: body
+          href: callables/op-specializations/tags/body-tag-ref.md
+        - name: adjoint
+          href: callables/op-specializations/tags/adjoint-tag-ref.md
+        - name: controlled
+          href: callables/op-specializations/tags/controlled-tag-ref.md
+        - name: controlled adjoint
+          href: callables/op-specializations/tags/controlled-adjoint-tag-ref.md
+      - name: Directives
+        items:
+        - name: intrinsic
+          href: callables/op-specializations/directives/intrinsic-ref.md
+        - name: distribute
+          href: callables/op-specializations/directives/distribute-ref.md
+        - name: invert
+          href: callables/op-specializations/directives/invert-ref.md
+        - name: self
+          href: callables/op-specializations/directives/self-ref.md
+        - name: auto
+          href: callables/op-specializations/directives/auto-ref.md
+  - name: Control Flow
+    items:
+    - name: for
+      href: control-flow/for-ref.md
+    - name: in
+      href: control-flow/in-ref.md
+    - name: if
+      href: control-flow/if-ref.md
+    - name: elif
+      href: control-flow/elif-ref.md
+    - name: else
+      href: control-flow/else-ref.md
+    - name: repeat-until
+      href: control-flow/repeat-until-ref.md
+    - name: fixup
+      href: control-flow/fixup-ref.md
+    - name: while
+      href: control-flow/while-ref.md
+    - name: apply-within (conjugation)
+      href: control-flow/apply-within-ref.md
+    - name: fail
+      href: control-flow/fail-ref.md
+  - name: Qubits
+    items:
+    - name: using
+      href: qubits/using-ref.md
+    - name: borrowing
+      href: qubits/borrowing-ref.md
+  - name: Namespace
+    items:
+    - name: namespace
+      href: namespace/namespace-ref.md
+    - name: open
+      href: namespace/open-ref.md
+    - name: as
+      href: namespace/as-ref.md
+  - name: Attributes
+    items:
+    - name: '@EntryPoint'
+      href: xref:microsoft.quantum.core.entrypoint
+    - name: '@Test'
+      href: xref:microsoft.quantum.diagnostics.test
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/bigint-ref.md b/articles/user-guide/language-ref/types/bigint-ref.md
new file mode 100644
index 0000000000..6fa14dac57
--- /dev/null
+++ b/articles/user-guide/language-ref/types/bigint-ref.md
@@ -0,0 +1,15 @@
+---
+title: BigInt
+description: Keyword reference BigInt
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.bigint
+---
+
+# `BigInt`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/bool-ref.md b/articles/user-guide/language-ref/types/bool-ref.md
new file mode 100644
index 0000000000..1bfa3ba1cb
--- /dev/null
+++ b/articles/user-guide/language-ref/types/bool-ref.md
@@ -0,0 +1,15 @@
+---
+title: Bool
+description: Keyword reference Bool
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.bool
+---
+
+# `Bool`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/double-ref.md b/articles/user-guide/language-ref/types/double-ref.md
new file mode 100644
index 0000000000..ca8f79a98d
--- /dev/null
+++ b/articles/user-guide/language-ref/types/double-ref.md
@@ -0,0 +1,15 @@
+---
+title: Double
+description: Keyword reference Double
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.double
+---
+
+# `Double`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/false-ref.md b/articles/user-guide/language-ref/types/false-ref.md
new file mode 100644
index 0000000000..d7bc82bca9
--- /dev/null
+++ b/articles/user-guide/language-ref/types/false-ref.md
@@ -0,0 +1,13 @@
+---
+title: 'false'
+description: Keyword reference 'false'
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.false
+---
+
+# `false`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/int-ref.md b/articles/user-guide/language-ref/types/int-ref.md
new file mode 100644
index 0000000000..83483eff4a
--- /dev/null
+++ b/articles/user-guide/language-ref/types/int-ref.md
@@ -0,0 +1,15 @@
+---
+title: Int
+description: Keyword reference Int
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.int
+---
+
+# `Int`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/one-ref.md b/articles/user-guide/language-ref/types/one-ref.md
new file mode 100644
index 0000000000..696a08b2e2
--- /dev/null
+++ b/articles/user-guide/language-ref/types/one-ref.md
@@ -0,0 +1,13 @@
+---
+title: One
+description: Keyword reference One
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.one
+---
+
+# `One`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/pauli-ref.md b/articles/user-guide/language-ref/types/pauli-ref.md
new file mode 100644
index 0000000000..582a3c5b0a
--- /dev/null
+++ b/articles/user-guide/language-ref/types/pauli-ref.md
@@ -0,0 +1,17 @@
+---
+title: Pauli
+description: Keyword reference Pauli
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.pauli
+---
+
+# `Pauli`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/4_TypeSystem/QuantumDataTypes.md#quantum-specific-data-types
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/paulii-ref.md b/articles/user-guide/language-ref/types/paulii-ref.md
new file mode 100644
index 0000000000..1c545c8aaf
--- /dev/null
+++ b/articles/user-guide/language-ref/types/paulii-ref.md
@@ -0,0 +1,13 @@
+---
+title: PauliI
+description: Keyword reference PauliI
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.paulii
+---
+
+# `PauliI`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/paulix-ref.md b/articles/user-guide/language-ref/types/paulix-ref.md
new file mode 100644
index 0000000000..a776e1049d
--- /dev/null
+++ b/articles/user-guide/language-ref/types/paulix-ref.md
@@ -0,0 +1,13 @@
+---
+title: PauliX
+description: Keyword reference PauliX
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.paulix
+---
+
+# `PauliX`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/pauliy-ref.md b/articles/user-guide/language-ref/types/pauliy-ref.md
new file mode 100644
index 0000000000..95be453453
--- /dev/null
+++ b/articles/user-guide/language-ref/types/pauliy-ref.md
@@ -0,0 +1,13 @@
+---
+title: PauliY
+description: Keyword reference PauliY
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.pauliy
+---
+
+# `PauliY`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/pauliz-ref.md b/articles/user-guide/language-ref/types/pauliz-ref.md
new file mode 100644
index 0000000000..3ae0dec88e
--- /dev/null
+++ b/articles/user-guide/language-ref/types/pauliz-ref.md
@@ -0,0 +1,13 @@
+---
+title: PauliZ
+description: Keyword reference PauliZ
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.pauliz
+---
+
+# `PauliZ`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/qubit-ref.md b/articles/user-guide/language-ref/types/qubit-ref.md
new file mode 100644
index 0000000000..d8d336763a
--- /dev/null
+++ b/articles/user-guide/language-ref/types/qubit-ref.md
@@ -0,0 +1,17 @@
+---
+title: Qubit
+description: Keyword reference Qubit
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.qubit
+---
+
+# `Qubit`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/4_TypeSystem/QuantumDataTypes.md#quantum-specific-data-types
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/range-ref.md b/articles/user-guide/language-ref/types/range-ref.md
new file mode 100644
index 0000000000..cfadd89470
--- /dev/null
+++ b/articles/user-guide/language-ref/types/range-ref.md
@@ -0,0 +1,15 @@
+---
+title: Range
+description: Keyword reference Range
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.range
+---
+
+# `Range`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/result-ref.md b/articles/user-guide/language-ref/types/result-ref.md
new file mode 100644
index 0000000000..2afbc28f6a
--- /dev/null
+++ b/articles/user-guide/language-ref/types/result-ref.md
@@ -0,0 +1,18 @@
+---
+title: Result
+description: Keyword reference Result
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.result
+---
+
+# `Result`
+
+fill
+
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/4_TypeSystem/QuantumDataTypes.md#quantum-specific-data-types
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/string-ref.md b/articles/user-guide/language-ref/types/string-ref.md
new file mode 100644
index 0000000000..e5ebef211c
--- /dev/null
+++ b/articles/user-guide/language-ref/types/string-ref.md
@@ -0,0 +1,15 @@
+---
+title: String
+description: Keyword reference String
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.string
+---
+
+# `String`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/true-ref.md b/articles/user-guide/language-ref/types/true-ref.md
new file mode 100644
index 0000000000..ed2ce0185a
--- /dev/null
+++ b/articles/user-guide/language-ref/types/true-ref.md
@@ -0,0 +1,13 @@
+---
+title: 'true'
+description: Keyword reference 'true'
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.true
+---
+
+# `true`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/unit-ref.md b/articles/user-guide/language-ref/types/unit-ref.md
new file mode 100644
index 0000000000..17c1230410
--- /dev/null
+++ b/articles/user-guide/language-ref/types/unit-ref.md
@@ -0,0 +1,15 @@
+---
+title: Unit
+description: Keyword reference Unit
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.unit
+---
+
+# `Unit`
+
+fill
+
+https://github.com/microsoft/qsharp-language/blob/main/Specifications/Language/3_Expressions/ValueLiterals.md#literals
\ No newline at end of file
diff --git a/articles/user-guide/language-ref/types/zero-ref.md b/articles/user-guide/language-ref/types/zero-ref.md
new file mode 100644
index 0000000000..a5d827d024
--- /dev/null
+++ b/articles/user-guide/language-ref/types/zero-ref.md
@@ -0,0 +1,13 @@
+---
+title: Zero
+description: Keyword reference Zero
+author: gillenhaalb
+ms.author: a-gibec
+ms.date: 05/09/2020
+ms.topic: article
+uid: microsoft.quantum.lang-ref.zero
+---
+
+# `Zero`
+
+fill
\ No newline at end of file
diff --git a/articles/user-guide/language/types.md b/articles/user-guide/language/types.md
index 6d7296cb66..619c990e12 100644
--- a/articles/user-guide/language/types.md
+++ b/articles/user-guide/language/types.md
@@ -2,7 +2,7 @@
 title: Types in Q#
 description: Learn about the different types used in the Q# programming language.
 author: gillenhaalb
-ms.author: a-gibec@microsoft.com
+ms.author: a-gibec
 ms.date: 03/05/2020
 ms.topic: article
 uid: microsoft.quantum.guide.types
diff --git a/articles/user-guide/toc.yml b/articles/user-guide/toc.yml
index b0cc1c0938..78c64db73c 100644
--- a/articles/user-guide/toc.yml
+++ b/articles/user-guide/toc.yml
@@ -13,4 +13,6 @@
 - name: Q# libraries
   href: libraries/toc.yml
 - name: Quick reference
-  href: quickref/toc.yml
\ No newline at end of file
+  href: quickref/toc.yml
+- name: Language reference
+  href: language-ref/toc.yml
\ No newline at end of file