MetaExamples
This is the code repository for a few videos on Metaprogramming posted as a YouTube Playlist. These are unpolished but I hope may be of some use.
MetaExamples
Examples using MetaProgramming for writing tactics etc.
This is the code repository for a few videos on Metaprogramming posted as a YouTube Playlist. These are unpolished but I hope may be of some use.