GitHub repository: omelkonian/stdlib-meta
Primary language: Agda
Created: 2022-07-20T16:31:26Z
Description: Meta-programming utilities for Agda.