Actions: propensive/hypotenuse
Actions
60 workflow runs
60 workflow runs
gcd
method for all types
Repo Admin
#57:
Commit 80c89bc
pushed
by
propensive
Inequality
to Orderable
Repo Admin
#56:
Commit ea0053b
pushed
by
propensive
I
types to S
types
Repo Admin
#55:
Commit 217565c
pushed
by
propensive
with
style
Repo Admin
#53:
Commit d7ce398
pushed
by
propensive
soundness
exports
Repo Admin
#51:
Commit c2bd1f2
pushed
by
propensive
given
...with
Repo Admin
#43:
Commit 5255d23
pushed
by
propensive
math.scala
too
Repo Admin
#38:
Commit 3a6a18f
pushed
by
propensive