rep_lang

this repository consists of 3 crates at present:

• rep_lang_core

• rep_lang_concrete_syntax

• rep_lang_runtime

building & running with cargo

(more for development purposes)

with nix installed:

$ nix-shell

# enter repl
$ cargo run --bin rli
< repl appears >
< ctrl-d to exit >

# interpret code from a file
$ cargo run --bin rle ./rep_lang_concrete_syntax/examples/ex1.rl
< output >

building with nix build

with nix installed:

# new nix
$ nix build -f default.nix

# old nix
$ nix-build

# run it
$ ./result/bin/rli
$ ./result/bin/rle $PATH_TO_INPUT
< output >

developers

see DEVELOPING.adoc.