News for hackers. Stuff that matters.
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.
Re:Learning Elm has gotten me confused about static vs. dyna... by pka on Thursday June 16, 2016 @11:55AM (#11916950)
For all I know

Agreed.