From b7cdb70f72a37ffd417d66abb028e1095992620e Mon Sep 17 00:00:00 2001 From: Ankush Desai Date: Mon, 18 Sep 2023 12:17:35 -0700 Subject: [PATCH] Some more changes --- Docs/docs/getstarted/PeasyIDE.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Docs/docs/getstarted/PeasyIDE.md b/Docs/docs/getstarted/PeasyIDE.md index 329782eae..cb6905630 100644 --- a/Docs/docs/getstarted/PeasyIDE.md +++ b/Docs/docs/getstarted/PeasyIDE.md @@ -32,7 +32,9 @@ ### Peasy: An Intuitive Development Environment for P -Peasy (VS Code extension) offers an intuitive development environment tailored specifically for the P programming language, making it easier for developers to edit, compile, test, debug, and visualize their P programs. +> :mega: **Peasy** is a step towards making application of formal methods in practice **easy-peasy** + +Peasy offers an intuitive development environment tailored specifically for the P programming language, making it easier for developers to edit, compile, test, debug, and visualize their P programs. Peasy provides syntax highlighting for code clarity and code snippets to reduce development time, automated compilation and testing for hassle-free program development. Moreover, Peasy's trace and state machine visualization tools provide rich analysis to gain insights into your projects and simplifies error debugging process.