Code

Implement generators#593

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/chalk:masterfrom Aaron1011:feature/generatorsAaron1011/chalk:feature/generatorsCopy head branch name to clipboardSep 29, 2020

+615-33

Commits

Commits on Sep 21, 2020

• Implement generators

  Show description for 457b8bb
  Aaron1011

  committed
  457b8bb

  Copy full SHA for 457b8bb

Commits on Sep 25, 2020

• Start working on some docs

  Aaron1011

  committed
  905bb94

  Copy full SHA for 905bb94

Commits on Sep 29, 2020

• Further explain witness types in book

  Aaron1011

  committed
  b982f80

  Copy full SHA for b982f80

• Define generator witness syntax to use exists<> instead of for<>

  Aaron1011

  committed
  e7a0892

  Copy full SHA for e7a0892