input-output-hk
diff --git a/‎analysis/markov/lakefile.lean‎
Lines changed: 2 additions & 0 deletions b/‎analysis/markov/lakefile.lean‎
Lines changed: 2 additions & 0 deletions
diff --git a/‎analysis/markov/Linleios.lean‎ renamed to ‎analysis/markov/src/Linleios.lean‎ b/‎analysis/markov/Linleios.lean‎ renamed to ‎analysis/markov/src/Linleios.lean‎
diff --git a/‎analysis/markov/Linleios/Evolve.lean‎ renamed to ‎analysis/markov/src/Linleios/Evolve.lean‎ b/‎analysis/markov/Linleios/Evolve.lean‎ renamed to ‎analysis/markov/src/Linleios/Evolve.lean‎
diff --git a/‎analysis/markov/Linleios/Probability.lean‎ renamed to ‎analysis/markov/src/Linleios/Probability.lean‎ b/‎analysis/markov/Linleios/Probability.lean‎ renamed to ‎analysis/markov/src/Linleios/Probability.lean‎
diff --git a/‎analysis/markov/Linleios/Types.lean‎ renamed to ‎analysis/markov/src/Linleios/Types.lean‎ b/‎analysis/markov/Linleios/Types.lean‎ renamed to ‎analysis/markov/src/Linleios/Types.lean‎
diff --git a/‎analysis/markov/Linleios/Util.lean‎ renamed to ‎analysis/markov/src/Linleios/Util.lean‎ b/‎analysis/markov/Linleios/Util.lean‎ renamed to ‎analysis/markov/src/Linleios/Util.lean‎
diff --git a/‎analysis/markov/Main.lean‎ renamed to ‎analysis/markov/src/Main.lean‎ b/‎analysis/markov/Main.lean‎ renamed to ‎analysis/markov/src/Main.lean‎
@@ -6,10 +6,12 @@ open Lake DSL
 package «linleios» where
 
 lean_lib «Linleios» where
+  srcDir := "src"
 
 @[default_target]
 lean_exe «linleios» where
   root := `Main
+  srcDir := "src"
   supportInterpreter := false
 
 require mathlib from git