Resource to learn and understand simprocs

Stream: general

[Shreyas Srinivas]

What's the current best way to learn and understand simprocs? I couldn't find much in the new lean language reference

[Henrik Böving]

I would say to read meta programming in lean and then look at simprocs written in core. They're pretty basic meta programs most of the time.