The top documents tagged [x lookup suc n x xs]
Intro To Agda
1.987 views