lean4-metaprogramming-book icon indicating copy to clipboard operation
lean4-metaprogramming-book copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Add chapter on attributes.

Open bollu opened this issue 2 years ago • 1 comments

@arthurpaulino Suggestions on what we want to teach when it comes to attributes would be nice. I haven't used attributes much, so I'm learning as I go along!

bollu avatar Jun 03 '22 13:06 bollu

Superseded by #71

bollu avatar Jul 27 '22 21:07 bollu