Code

[Draft] Simple attributes#71

Code

Draft

bollu wants to merge 6 commits intoleanprover-community:masterleanprover-community/lean4-metaprogramming-book:masterfrom bollu:simple-attributesbollu/lean4-metaprogramming-book:simple-attributesCopy head branch name to clipboard

+441-1

Commits

Commits on Jul 27, 2022

• Add chapter on attributes.

  bollu

  committed
  2ef0ed7

  Copy full SHA for 2ef0ed7

• add parametric attribute

  bollu

  committed
  5da271c

  Copy full SHA for 5da271c

• add simp attribute

  bollu

  committed
  2d7f266

  Copy full SHA for 2d7f266

• generate markdown for attributes

  bollu

  committed
  67e636c

  Copy full SHA for 67e636c

• delete the complicated case

  bollu

  committed
  73d3377

  Copy full SHA for 73d3377

• refresh md as well

  bollu

  committed
  d381cba

  Copy full SHA for d381cba