editline 0.0.19

A platform-agnostic line editor with history and full editing capabilities
Documentation 
1
2
3
4
5
6
7

#!/bin/bash
# Run script for Linux REPL example

set -e

echo "Building and running Linux REPL example..."
cargo run --example simple_repl