Code

Make work with multiline imports#10

Code

Open

Chobbes wants to merge 2 commits intovzaliva:mastervzaliva/coq-min-imports:masterfrom Chobbes:masterChobbes/coq-min-imports:masterCopy head branch name to clipboard

+109-18

Commits

Commits on Sep 28, 2022

• Add nix flake + switch to dune to build the project.

  Chobbes

  committed
  33d4680

  Copy full SHA for 33d4680

Commits on Oct 14, 2022

• Multiline imports + From style imports.

  Show description for fae4eb2
  Chobbes

  committed
  fae4eb2

  Copy full SHA for fae4eb2