Skip to content
Snippets Groups Projects

Resolve "complete mini project 2"

Merged Resolve "complete mini project 2"
7-complete-mini-project-2 into main
Merged aalbert requested to merge 7-complete-mini-project-2 into main
Viewing commit 73e78dd2
Prev Next
Show latest version
1 file
+ 3
− 1
Compare changes
  • Side-by-side
  • Inline
flake.nix
+ 3
− 1
@@ -36,9 +36,11 @@
@@ -36,9 +36,11 @@
devShells.default = pkgs.mkShell {
devShells.default = pkgs.mkShell {
name = "logIA-dev";
name = "logIA-dev";
packages = with pythonPackages; with ocamlPackages; [
packages = with ocamlPackages; [
python
python
z3
z3
 
pythonPackages.z3
 
pythonPackages.setuptools
ocaml
ocaml
findlib
findlib
dune_2
dune_2