search

GaloisInc / ckzg-eip-4844-verification

BSD 3-Clause "New" or "Revised" License
2 stars 1 forks source link

Switch from list comprehension to map #28

Closed b13decker closed 1 month ago

b13decker commented 1 month ago

Since the map is slightly more obvious that we are just applying a conversion function to all elements in the list.

          note: you could also `map toIntegral powers'` but I don't have a preference either way.

_Originally posted by @marsella in https://github.com/GaloisInc/ckzg-eip-4844-verification/pull/23#discussion_r1781512088_