Skip to content

[ add ] Natural number square root#3023

Draft
jamesmckinna wants to merge 3 commits into
agda:masterfrom
jamesmckinna:square-root
Draft

[ add ] Natural number square root#3023
jamesmckinna wants to merge 3 commits into
agda:masterfrom
jamesmckinna:square-root

fix: typo

c0d24ce
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Haskell-CI - Linux - ghc-9.4.8
succeeded Jun 18, 2026 in 2m 17s