distributed-lab · KyrylR · Oct 31, 2025 · Oct 16, 2025 · Oct 20, 2025 · Oct 22, 2025
diff --git a/Cargo.toml b/Cargo.toml
@@ -11,6 +11,7 @@ tower-lsp-server = "0.22.1"
 
 log = "0.4.28"
 env_logger = "0.11.8"
+thiserror = "2.0.17"
 
 ropey = "1.6.1"
 miniscript = "12"

diff --git a/README.md b/README.md
@@ -5,7 +5,20 @@ Language Server for [SimplicityHL language](https://simplicity-lang.org/).
 ## Features
 
 - Basic diagnostic for SimplicityHL code
-- Completions of functions and jets
+
+![diagnostics](assets/diagnostics.gif)
+
+- Completions of built-ins, jets and functions
+
+![completion](assets/completion.gif)
+
+- Hover for built-ins, jets and functions, with support of documentation
+
+![hover](assets/hover.gif)
+
+- Go to definition for functions
+
+![goto-definition](assets/goto-definition.gif)
 
 ## Installation
 

diff --git a/assets/completion.gif b/assets/completion.gif
diff --git a/assets/diagnostics.gif b/assets/diagnostics.gif
diff --git a/assets/goto-definition.gif b/assets/goto-definition.gif
diff --git a/assets/hover.gif b/assets/hover.gif