WIP neural net

Author: proux01

.nix/config.nix

@@ -143,7 +143,7 @@ with builtins; with (import <nixpkgs> {}).lib;
       # "simple-io" -> overlay
       # "QuickChick" -> overlay
       "menhir"
-      # TODO neural_net_interp
+      # "neural-net-coq-interp" -> overlay
       # "aac-tactics" -> overlay
       "paco"
       # "ITree" -> overlay
@@ -225,6 +225,7 @@ with builtins; with (import <nixpkgs> {}).lib;
       sf.override.version = "proux01:split_stdlib";
       bbv.override.version = "proux01:split_stdlib";
       json.override.version = "proux01:split_stdlib";
+      neural-net-coq-interp.override.version = "proux01:split_stdlib";
     };
   in {
     "coq-master".coqPackages = common-bundles // {

.nix/coq-overlays/neural-net-coq-interp/default.nix

@@ -0,0 +1,10 @@
+{ lib, mkCoqDerivation, coq, stdlib, version ? null }:
+
+mkCoqDerivation {
+  pname = "neural-net-coq-interp";
+  owner = "JasonGross";
+  inherit version;
+  defaultVersion = null;  # no released version
+
+  propagatedBuildInputs = [ stdlib ];
+}