Taneb/eratosthenes
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

Remove unnecessary public

Browse Source
This commit is contained in:
Taneb
2024-07-11 21:46:26 +02:00
parent 35ca270476
commit 086e98e532
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/Eratosthenes.agda
+1 -1
View File
@@ -54,7 +54,7 @@ upFromThen from (suc then) = from ∷ upFromThen (suc from) then
upTo : ℕ → List ℕ
upTo = upFromThen 0
open import SplayHeap (On.totalOrder ≤-totalOrder (proj₂ {A = ℕ})) public
open import SplayHeap (On.totalOrder ≤-totalOrder (proj₂ {A = ℕ}))
insertPrime : ℕ → Heap → Heap
insertPrime p table = insert (p , p * p) table