GitHub repository: onestruggler/short-intro-reflection
Primary language: Agda
Created: 2024-07-19T04:37:47Z
Description: A very short introduction to Agda's reflection mechanism.