Code

[WIP] examples/bytestring#199

Code

Open

quinn-dougherty wants to merge 2 commits intoplclub:masterplclub/hs-to-coq:masterfrom quinn-dougherty:examples-bytestringquinn-dougherty/hs-to-coq:examples-bytestringCopy head branch name to clipboard

+8,656

Commits

Commits on Nov 2, 2021

• Prim.Notations error

  quinn-dougherty

  committed
  dd882da

Commits on Nov 3, 2021

• GHC.Prim.Notations is not a module

  quinn-dougherty

  committed
  a69ccb3