[Agda] blowUpSparseVec error
Darryl McAdams
psygnisfive at yahoo.com
Mon Mar 18 09:42:19 CET 2013
http://hpaste.org/84240
yields the error
blowUpSparseVec (n = 2) aux i=3 j=3 length l = 2
when the holes on the last few lines are given the values inside the {! !}
This is with the most recent install of agda. Is there any fix to this?
- darryl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130318/e8577762/attachment.html
More information about the Agda
mailing list