Explorar el Código

inverse proof for new-cs

ada hace 5 años
padre
commit
45b407b09c
Se han modificado 1 ficheros con 2 adiciones y 2 borrados
  1. 2 2
      lisp/run.sh

+ 2 - 2
lisp/run.sh

@@ -1,3 +1,3 @@
 export RUST_BACKTRACE=full
-cargo run --bin lisp load jubjub-add.lisp
-#cargo run --bin lisp load inverse.lisp
+#cargo run --bin lisp load jubjub-add.lisp
+cargo run --bin lisp load inverse.lisp