chore: remove dead code and update notes (#141)

Follow up to #119

DEVELOPMENT.md

@@ -46,7 +46,7 @@ We use `rustfmt` to enforce a consistent coding style. The CI will fail if the c
 To format your code, run:
 
 ```bash
-cargo format
+cargo fmt
 ```
 
 We also use various linters to catch common mistakes and enforce best practices. To run these, see [our CI config](./.github/workflows/ci-rs.yml). TODO Provide a better way, contributions welcome.
@@ -66,7 +66,7 @@ cargo install cargo-llvm-cov
 Then run the tests, see [our CI config](/.github/workflows/ci-rs.yml).
 
 ```bash
-just coverage
+cargo llvm-cov --lcov --output-path lcov.info
 ```
 
 This will generate a coverage file that can be opened with your favourite coverage viewer. In VSCode, you can use

README.md

@@ -18,8 +18,6 @@ At present only `llvm14-0` is supported but we expect to introduce supported ver
 
 See the [llvm-sys][] crate for details on how to use your preferred llvm installation.
 
-For an example lowering [guppy][] programs to LLVM see [tests/guppy.rs](./tests/guppy.rs)
-
 ## Recent Changes
 
 See [CHANGELOG](CHANGELOG.md) for a list of changes. The minimum supported rust
@@ -39,4 +37,3 @@ This project is licensed under Apache License, Version 2.0 ([LICENCE](LICENCE) o
   [inkwell]: https://thedan64.github.io/inkwell/inkwell/index.html
   [llvm-sys]: https://crates.io/crates/llvm-sys
   [llvm]: https://llvm.org/
-  [guppy]: https://github.com/CQCL/guppylang