= 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 https://nixos.org/download.html[`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 https://nixos.org/download.html[`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.