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