Re:Learning Elm has gotten me confused about static vs. dyna...
by kazinator on Wednesday June 15, 2016 @02:10PM
(#11910909)
For all I know, the GCD function buried in that gobbledygook could actually be calculating the LCM, and the proof could be of that.
[ Parent
| on HN ]