move lib to subdir

2022-05-04 17:44:38 +02:00 · 2022-05-04 17:44:38 +02:00 · f5f2c4399e
parent 7f415328a2
commit f5f2c4399e
28 changed files with 1 additions and 1 deletions
--- a/flake.nix
+++ b/flake.nix
@ -15,7 +15,7 @@
          overlays = [ idris2-pkgs.overlay ];
        };
        inherit (pkgs.idris2-pkgs._builders) idrisPackage devEnv;
-        quox       = idrisPackage ./.     { };
+        quox       = idrisPackage ./lib   { };
        quox-exe   = idrisPackage ./exe   { extraPkgs.quox = quox; };
        quox-tests = idrisPackage ./tests { extraPkgs.quox = quox; };
      in
--- a/lib/quox.ipkg
+++ b/lib/quox.ipkg
--- a/lib/src/Quox/Context.idr
+++ b/lib/src/Quox/Context.idr
--- a/lib/src/Quox/Equal.idr
+++ b/lib/src/Quox/Equal.idr
--- a/lib/src/Quox/Error.idr
+++ b/lib/src/Quox/Error.idr
--- a/lib/src/Quox/Lexer.idr
+++ b/lib/src/Quox/Lexer.idr
--- a/lib/src/Quox/Name.idr
+++ b/lib/src/Quox/Name.idr
--- a/lib/src/Quox/NatExtra.idr
+++ b/lib/src/Quox/NatExtra.idr
--- a/lib/src/Quox/OPE.idr
+++ b/lib/src/Quox/OPE.idr
--- a/lib/src/Quox/Pretty.idr
+++ b/lib/src/Quox/Pretty.idr
--- a/lib/src/Quox/Reduce.idr
+++ b/lib/src/Quox/Reduce.idr
--- a/lib/src/Quox/Syntax.idr
+++ b/lib/src/Quox/Syntax.idr
--- a/lib/src/Quox/Syntax/Dim.idr
+++ b/lib/src/Quox/Syntax/Dim.idr
--- a/lib/src/Quox/Syntax/DimEq.idr
+++ b/lib/src/Quox/Syntax/DimEq.idr
--- a/lib/src/Quox/Syntax/Qty.idr
+++ b/lib/src/Quox/Syntax/Qty.idr
--- a/lib/src/Quox/Syntax/Shift.idr
+++ b/lib/src/Quox/Syntax/Shift.idr
--- a/lib/src/Quox/Syntax/Subst.idr
+++ b/lib/src/Quox/Syntax/Subst.idr
--- a/lib/src/Quox/Syntax/Term.idr
+++ b/lib/src/Quox/Syntax/Term.idr
--- a/lib/src/Quox/Syntax/Term/Base.idr
+++ b/lib/src/Quox/Syntax/Term/Base.idr
--- a/lib/src/Quox/Syntax/Term/Pretty.idr
+++ b/lib/src/Quox/Syntax/Term/Pretty.idr
--- a/lib/src/Quox/Syntax/Term/Reduce.idr
+++ b/lib/src/Quox/Syntax/Term/Reduce.idr
--- a/lib/src/Quox/Syntax/Term/Split.idr
+++ b/lib/src/Quox/Syntax/Term/Split.idr
--- a/lib/src/Quox/Syntax/Term/Subst.idr
+++ b/lib/src/Quox/Syntax/Term/Subst.idr
--- a/lib/src/Quox/Syntax/Universe.idr
+++ b/lib/src/Quox/Syntax/Universe.idr
--- a/lib/src/Quox/Syntax/Var.idr
+++ b/lib/src/Quox/Syntax/Var.idr
--- a/lib/src/Quox/Token.idr
+++ b/lib/src/Quox/Token.idr
--- a/lib/src/Quox/Typechecker.idr
+++ b/lib/src/Quox/Typechecker.idr
--- a/lib/src/Quox/Typing.idr
+++ b/lib/src/Quox/Typing.idr