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