Actions: propensive/hypotenuse
Actions
71 workflow runs
71 workflow runs
gcd
method for all types
Build
#68:
Commit 80c89bc
pushed
by
propensive
Inequality
to Orderable
Build
#67:
Commit ea0053b
pushed
by
propensive
I
types to S
types
Build
#66:
Commit 217565c
pushed
by
propensive
with
style
Build
#63:
Commit d7ce398
pushed
by
propensive
soundness
exports
Build
#61:
Commit c2bd1f2
pushed
by
propensive
given
...with
Build
#51:
Commit 5255d23
pushed
by
propensive