doc updates

diff --git a/README.md b/README.md
index 40b554456c0cd913da0a64a8cf662a12a61c14ad..28c2454359e3cfec3c286f25b65cfae5c79e3ae9 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,19 +1,26 @@
 # sorel
 
-The name means "Stack-Oriented Rethought Language".
+_The name means "Stack-Oriented Rethought Language"._
 
+**Sorel** a compiled-only Forth variant with the following goals:
 
-## TODO
+* It should be useful and usable as a systems programming language.
+    * This includes being able to make kernels and compilers.
+* The language and compiler should be simple enough for novice programmers to understand.
+* Neither C nor the C standard library should be relied upon for any functionality.
+    * Sorel should be _independently_ useful.
+* Self-hosting (_not implemented yet!_)
 
-* [x] Imports
-* [x] Syscalls
-* [x] Loops
-* [ ] Structs
-* [ ] many, many more things
+In order to reduce complexity, Sorel only targets one CPU architecture (64-bit RISC-V), and one OS kernel (Linux, for now).
 
-## Helpful External Resources
+For an overview of the language itself in its current state, see `docs/language_overview.md`.
 
-* https://gpages.juszkiewicz.com.pl/syscalls-table/syscalls.html
-* https://godbolt.org/
-* https://projectf.io/posts/riscv-cheat-sheet/
-* https://github.com/dvoytik/riscv-cheats
+To build the compiler, or to get set up to develop Sorel, see `docs/hacking.md`.
+
+## Contributing
+
+See CONTRIBUTING.md
+
+## License
+
+Apache 2.0. See LICENSE.

diff --git a/docs/hacking.md b/docs/hacking.md
index afd8f77168ff0be17d4d6172aac6d264c93ef105..dc05693bf12aaaef72b99e1b93330e1db32ad287 100644 (file)
--- a/docs/hacking.md
+++ b/docs/hacking.md
@@ -32,9 +32,9 @@ cargo build
 ```
 
 This puts the compiler binary at `target/debug/sorelc`.
-Release builds can also be created in the usual Rust/`cargo` fasion.
+Release builds can also be created in the usual Rust/`cargo` fashion.
 
-Note that if you change any stdlib files, you'll need to rebuild.
+Note that if you change any stdlib files, you'll need to rebuild the compiler.
 
 ## Compiling a Sorel Program
 
@@ -70,3 +70,10 @@ target remote :4567
 
 Then you can use normal gdb commands!
 The `tui layout asm` is highly recommended.
+
+## Helpful External Resources
+
+* https://gpages.juszkiewicz.com.pl/syscalls-table/syscalls.html
+* https://godbolt.org/
+* https://projectf.io/posts/riscv-cheat-sheet/
+* https://github.com/dvoytik/riscv-cheats

diff --git a/docs/language_overview.md b/docs/language_overview.md
index b4780f43ed1b5eae6c9fb706532161aa1328537f..0a993a6ff7b5c0fccfbd62585af70d438459e078 100644 (file)
--- a/docs/language_overview.md
+++ b/docs/language_overview.md
@@ -66,7 +66,6 @@ To pass arguments, simply put them on the stack in the order that they appear in
 Be careful with types.
 The return value is added to the stack once the function returns.
 
-For the moment, dynamic libraries cannot be loaded.
 Exposing Sorel functions to C is also not currently supported, and Sorel _must_ control the entrypoint/`main()`/`_start`.
 
 ## Built-in Words