Greatest common divisor: Difference between revisions
m
→Some proofs about the gcd
m (→Iterative binary algorithm: Fix parenthesis usage regarding operator precedence) |
|||
Line 1,268:
For the sake of interest, here is some use of
<lang ats>(* Typecheck this file with ‘patscc -tcats gcd-proofs.dats’. *)
|