proof-pattern topic
List
proof-pattern repositories
gentle-intro-to-reflection
86
Stars
9
Forks
Watchers
A slow-paced introduction to reflection in Agda. ---Tactics!
