From ef9b205d079ff6125007ba19def9b1d10acfebf8 Mon Sep 17 00:00:00 2001 From: Christian Lewe Date: Thu, 16 May 2024 22:07:57 +0200 Subject: [PATCH] Welcome: Better guide users with arrows --- src/examples.rs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/examples.rs b/src/examples.rs index b91f659..fd0e403 100644 --- a/src/examples.rs +++ b/src/examples.rs @@ -7,7 +7,7 @@ const EXAMPLES: [(&str, &str, &str); 17] = [ r#"

👋 Welcome to the Simfony IDE!

Write your program in the text box above ⬆️ The Simfony compiler will give you live feedback about your code. -When you are happy with your program, click the run button on the right ➡️ +When you are happy with your program, click the run button on the bottom right ↘️ If your program succeeds, then you would be able to spend its locked coins if this were the blockchain. If your program fails, then the transaction would be invalid. There is a stack trace for debugging.

@@ -22,7 +22,8 @@ Get help on Click the run button. You complete the lesson by making the program succeed.

"#, r#"// Anyone can spend the empty program -// Click the run button"#, +// ⬇️ Read the introduction ⬇️ +// ⬇️ Click the run button to finish the lesson ⬇️"#, ), ( "Variables 💡", @@ -35,7 +36,6 @@ Lines are terminated with a semicolon ;.

📝 Your Task

Assign the value 1337 to variable x.

"#, r#"let x: u32 = ; // <- Assign the value -// Click the run button jet_verify(jet_eq_32(x, 1337));"#, ), @@ -52,7 +52,6 @@ You can write decimal literals 0, 1, 2 for values of type u8 to Assign the maximum u8 and u128 values.

"#, r#"let max8: u8 = ; // <- Assign the maximum u8 value let max128: u128 = ; // <- Assign the maximum u128 value -// Click the run button jet_verify(jet_all_8(max8)); let (top, bot) = max128;