[Agda-dev] Issue label de-Bruijn

[Andreas Abel]

Dear Agda developers,

if you encounter an issue with de Bruijn indices, please tag it with label

   de-Bruijn

Getting data on how many bugs are caused by wrong de Bruijn indices will 
help us evaluate the pros and cons of a dependently-typed representation 
of terms with well-scoped de Bruijn indices.

Thanks,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/