Sign in
opensecura
/
3p
/
nicta
/
cogent
/
refs/heads/master
/
.
/
cogent
/
examples
/
square
/
square.cogent
blob: c640e83e8c1c495e2aeaa4f5418194c1d48a8e4c [
file
] [
log
] [
blame
] [
edit
]
--
This
is
a
Cogent
implementation of square
.
square
:
U64
->
U64
square x
=
x
*
x
