added cubical without unicode

guilhermehas · Jul 21, 2022 · bda4503 · bda4503
1 parent cb7593e
commit bda4503
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     flake-utils.url = "github:numtide/flake-utils";
     cubical-src = {
-      url = github:agda/cubical;
+      url = github:guilhermehas/cubical/no-unicode;
       flake = false;
     };
     stdlib-src = {
@@ -35,6 +35,7 @@
           blogProject = with prev; stdenv.mkDerivation {
             name = "guilherme-blog";
             src = my-src;
+            LC_ALL = "en_US.UTF-8";
             buildInputs = with final; [ agda-all blogToolProject ];
 
             buildPhase = ''site build'';