Code

Add missing import Data.Proxy#34

Code

Open

freizl wants to merge 1 commit intoisovector:masterisovector/thinking-with-types:masterfrom freizl:masterfreizl/thinking-with-types:masterCopy head branch name to clipboard

+3-1

Commits

Commits on Sep 8, 2022

• Add missing import Data.Proxy

  hw202207

  committed
  7ce6021