A shorter way to write polynomial evaluation, with a comprehension#6
Open
achlipala wants to merge 1 commit into
Open
A shorter way to write polynomial evaluation, with a comprehension#6achlipala wants to merge 1 commit into
achlipala wants to merge 1 commit into
