<NME> index.md
<BEF> # Moved

This webpage has been replaced by the [intellij-elm project README](https://github.com/klazuka/intellij-elm). 

While you write code, intellij-elm checks that the functions and types that your program uses can be resolved based on what's in scope. Errors are marked in red. If the error can be resolved by adding an import, intellij-elm will offer a quick fix action. Press Option-Enter (Alt-Enter on Windows) and then select "Import" to generate the appropriate `import` and add it to the top of your file. No more scrolling to the top and then back down again just to fiddle with imports!

<video autoplay loop muted playsinline>
    <source src="assets/import_quick_fix.mp4" type="video/mp4">
</video>
<br/>

Reliably rename types, functions, values, modules and files. Press Shift-F6 to rename the identifier under the cursor. All references will also be renamed, including `import` statements and `exposing` lists.

<video autoplay loop muted playsinline>
    <source src="assets/rename.mp4" type="video/mp4">
</video>
<br/>
 
Find all usages of a type, function, value or module. Press Option-F7 (Ctrl-F7 on Windows) while the cursor is on an identifier to find all of its usages.

<video autoplay loop muted playsinline>
    <source src="assets/find_usages.mp4" type="video/mp4">
</video>
<br/>

### Quick Docs
 
Press Ctrl-J to display the documentation for a function, type, etc. It even works with doc comments within your own code.

<video autoplay loop muted playsinline>
    <source src="assets/quick_docs.mp4" type="video/mp4">
</video>
<br/>

Press Cmd-F12 (Ctrl-F12 on Windows) to popup the quick structure navigator. Use your keyboard to jump between functions and types effortlessly.

<video autoplay loop muted playsinline>
    <source src="assets/quick_nav_structure.mp4" type="video/mp4">
</video>
<br/>

By default, a module's `import`s are automatically collapsed using code folding. You can also collapse function and type declarations.

<video autoplay loop muted playsinline>
    <source src="assets/folding_imports.mp4" type="video/mp4">
</video>
<br/>

When writing new code, it's often helpful to write the type annotations first. Once you've written a type annotation, press Option-Enter (Alt-Enter on Windows) and select "Create" from the quick fix menu. A function declaration will be generated for you based on your type annotation. 

<video autoplay loop muted playsinline>
    <source src="assets/generate_func_decl.mp4" type="video/mp4">
</video>


<MSG> Add new type inference features to the webpage

<DFF> @@ -27,7 +27,7 @@ Here are a few of the advanced features provided by [intellij-elm](https://githu
 
 While you write code, intellij-elm checks that the functions and types that your program uses can be resolved based on what's in scope. Errors are marked in red. If the error can be resolved by adding an import, intellij-elm will offer a quick fix action. Press Option-Enter (Alt-Enter on Windows) and then select "Import" to generate the appropriate `import` and add it to the top of your file. No more scrolling to the top and then back down again just to fiddle with imports!
 
-<video autoplay loop muted playsinline>
+<video loop muted playsinline>
     <source src="assets/import_quick_fix.mp4" type="video/mp4">
 </video>
 <br/>
@@ -36,7 +36,7 @@ While you write code, intellij-elm checks that the functions and types that your
 
 Reliably rename types, functions, values, modules and files. Press Shift-F6 to rename the identifier under the cursor. All references will also be renamed, including `import` statements and `exposing` lists.
 
-<video autoplay loop muted playsinline>
+<video loop muted playsinline>
     <source src="assets/rename.mp4" type="video/mp4">
 </video>
 <br/>
@@ -45,16 +45,34 @@ Reliably rename types, functions, values, modules and files. Press Shift-F6 to r
  
 Find all usages of a type, function, value or module. Press Option-F7 (Ctrl-F7 on Windows) while the cursor is on an identifier to find all of its usages.
 
-<video autoplay loop muted playsinline>
+<video loop muted playsinline>
     <source src="assets/find_usages.mp4" type="video/mp4">
 </video>
 <br/>
 
+### Infer Type of Expression
+
+Show the inferred type of any Elm expression. Press Ctrl-Shift-P to see the type of the expression under the cursor, or expand the selection to include parent expressions.
+
+<video loop muted playsinline>
+    <source src="assets/expr_type_inference.mp4" type="video/mp4">
+</video>
+<br/>
+
+### Type Checking
+
+Type mismatches are detected and shown directly within the editor. For instance, if you try to call a function that expects a `String` but you give it a `Char`, an error will be shown on the bad argument. The type checking is performed immediately within the plugin--no need to wait for the Elm compiler to be launched in an external process.
+
+<video loop muted playsinline>
+    <source src="assets/type_checking.mp4" type="video/mp4">
+</video>
+<br/>
+
 ### Quick Docs
  
 Press Ctrl-J to display the documentation for a function, type, etc. It even works with doc comments within your own code.
 
-<video autoplay loop muted playsinline>
+<video loop muted playsinline>
     <source src="assets/quick_docs.mp4" type="video/mp4">
 </video>
 <br/>
@@ -67,7 +85,7 @@ Get a 30,000 ft view of your Elm file's types, functions and values.
 
 Press Cmd-F12 (Ctrl-F12 on Windows) to popup the quick structure navigator. Use your keyboard to jump between functions and types effortlessly.
 
-<video autoplay loop muted playsinline>
+<video loop muted playsinline>
     <source src="assets/quick_nav_structure.mp4" type="video/mp4">
 </video>
 <br/>
@@ -76,7 +94,7 @@ Press Cmd-F12 (Ctrl-F12 on Windows) to popup the quick structure navigator. Use
 
 By default, a module's `import`s are automatically collapsed using code folding. You can also collapse function and type declarations.
 
-<video autoplay loop muted playsinline>
+<video loop muted playsinline>
     <source src="assets/folding_imports.mp4" type="video/mp4">
 </video>
 <br/>
@@ -85,7 +103,7 @@ By default, a module's `import`s are automatically collapsed using code folding.
 
 When writing new code, it's often helpful to write the type annotations first. Once you've written a type annotation, press Option-Enter (Alt-Enter on Windows) and select "Create" from the quick fix menu. A function declaration will be generated for you based on your type annotation. 
 
-<video autoplay loop muted playsinline>
+<video loop muted playsinline>
     <source src="assets/generate_func_decl.mp4" type="video/mp4">
 </video>
 

Add new type inference features to the webpage