Code

Stop using auto with * in intuition#119

Code

Open

SkySkimmer wants to merge 1 commit intocoq-community:coq-mastercoq-community/coq-dpdgraph:coq-masterfrom SkySkimmer:intuit-autoSkySkimmer/coq-dpdgraph:intuit-autoCopy head branch name to clipboard

+2-2

Commits

Commits on Jul 5, 2023

• Stop using auto with * in intuition

  SkySkimmer

  committed
  696945d

  Copy full SHA for 696945d