Skip to content

Commit

Permalink
Add REPL banner with help information
Browse files Browse the repository at this point in the history
  • Loading branch information
vsbogd committed Dec 12, 2024
1 parent 87cd733 commit 74dae4d
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions repl/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -137,6 +137,9 @@ fn start_interactive_mode(repl_params: ReplParams, mut metta: MettaShim) -> rust
}
}

println!("Visit https://metta-lang.dev/ for tutorials.");
println!("Execute !(help!) to get list of the standard library functions.");

//The Interpreter Loop
loop {

Expand Down

0 comments on commit 74dae4d

Please sign in to comment.