/gentle-intro-to-reflection

A slow-paced introduction to reflection in Agda. ---Tactics!

Primary LanguageAgda

Watchers