fix: Frontend and src

Anderssorby · Anderssorby · commit 265987c9e829 · 2022-07-22T10:32:09.000+02:00
diff --git a/Yatima/Compiler.lean b/Yatima/Compiler.lean
@@ -1 +1 @@
-import Yatima.Compiler.FromLean
+import Yatima.Compiler.Frontend
diff --git a/flake.nix b/flake.nix
@@ -57,7 +57,7 @@
           debug = false;
           deps = [ ipld.project.${system} ];
           name = "Yatima";
-          src = ./src;
+          src = ./.;
         };
         main = leanPkgs.buildLeanPackage {
           debug = false;

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-import Yatima.Compiler.FromLean`
	`1`	`+import Yatima.Compiler.Frontend`