search

mietek / epigram2

Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
48 stars 7 forks source link

Levitate AllowedBy #68

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
In Features.Anchors, the data-type AllowedBy (described in 
./models/ILabel.agda) is hard-coded.

This is an obvious candidate for levitation.

Original issue reported on code.google.com by pedag...@gmail.com on 29 Aug 2010 at 1:47