argumentcomputer · Anderssorby · Jan 12, 2022 · Jan 29, 2022 · Feb 9, 2022 · Feb 10, 2022
diff --git a/.gdbinit b/.gdbinit
@@ -0,0 +1,8 @@
+define nb
+	shell nix build .#test-debug -L
+	file result/bin/tests
+end
+define nbr
+	nb
+	run
+end
diff --git a/OpenSSL.lean b/OpenSSL.lean
diff --git a/README.md b/README.md
@@ -1,6 +1,9 @@
 # OpenSSL bindings for lean (unfinished)
 
-Build with `nix build .`
+Build with `nix build .` or `nix develop --command lake build`.
+
+The bindings are mostly imperative and low level.
+See the [OpenSSL manpages](https://www.openssl.org/docs/man3.1/) for more details.
 
 ## Dev env
 

diff --git a/flake.lock b/flake.lock