diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md
index f12dc83..b62d816 100644
--- a/DEVELOPMENT.md
+++ b/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
diff --git a/README.md b/README.md
index e9654e8..d4d5dd8 100644
--- a/README.md
+++ b/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
diff --git a/scripts/generate_guppy_hugrs.sh b/scripts/generate_guppy_hugrs.sh
deleted file mode 100755
index aa2dea8..0000000
--- a/scripts/generate_guppy_hugrs.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/usr/bin/env bash
-
-set -euo pipefail
-
-DIR="$( cd "$( dirname "$0" )" && pwd )"
-{
-    cd "$DIR/.."
-    poetry install
-    for case in tests/guppy_test_cases/*.py; do
-        poetry run python "$case" >"$case.json"
-    done
-}