alhassy / gentle-intro-to-reflectionLinks

A slow-paced introduction to reflection in Agda. ---Tactics!
101Updated 3 years ago

Alternatives and similar repositories for gentle-intro-to-reflection

Users that are interested in gentle-intro-to-reflection are comparing it to the libraries listed below

Sorting: