Add a scoped version of the reflection machinery
gallais opened this issue · comments
Cf. the code in https://github.com/agda/agda/tree/master/notes/reflection
developed during the Edinburgh AIM.
agda / agda-stdlib
The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary