https://eb.host.cs.st-andrews.ac.uk/drafts/elab-reflection.pdf

Shows some of the more advanced/esoteric stuff that can be done with introspection. -- Andrei

Reply via email to