wip

joelberkeley · Jul 15, 2024 · 423bf03 · 423bf03
1 parent ccba891
commit 423bf03
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/release-docs.yml b/.github/workflows/release-docs.yml
@@ -18,7 +18,7 @@ jobs:
         apt-get update && apt-get install -y curl python3-venv
         pack --no-prompt run plasma.ipkg
         python3 -m venv .venv
-        source .venv/bin/activate
+        . .venv/bin/activate
         pip install -r plot/requirements.txt -c plot/constraints.txt
         python3 plot/plot.py
         mkdir docs

diff --git a/src/Main.idr b/src/Main.idr
@@ -32,7 +32,6 @@ product2 : (a, b : Nat) -> (rest : List Nat) ->
 product2 Z _ _ = Refl
 product2 (S aa) _ _ = ?product2Succ
 
-partial
 main : IO ()
 main = do
   let key = tensor {dtype = U64} 1