<html><body><div style="color:#000; background-color:#fff; font-family:arial, helvetica, sans-serif;font-size:10pt"><div><span>I only have what 'cabal install agda' installs. How would I install the dev version?</span></div><div></div><div> </div><div>- darryl<br></div><div style="color: rgb(0, 0, 0); font-size: 13px; font-family: arial, helvetica, sans-serif; background-color: transparent; font-style: normal; "><br></div> <div style="font-family: arial, helvetica, sans-serif; font-size: 10pt; "> <div style="font-family: 'times new roman', 'new york', times, serif; font-size: 12pt; "> <div dir="ltr"> <font size="2" face="Arial"> <hr size="1"> <b><span style="font-weight:bold;">From:</span></b> Nils Anders Danielsson <nad@chalmers.se><br> <b><span style="font-weight: bold;">To:</span></b> Darryl McAdams <psygnisfive@yahoo.com> <br><b><span style="font-weight: bold;">Cc:</span></b> Agda List <agda@lists.chalmers.se> <br> <b><span
style="font-weight: bold;">Sent:</span></b> Monday, March 18, 2013 6:15 AM<br> <b><span style="font-weight: bold;">Subject:</span></b> Re: [Agda] blowUpSparseVec error<br> </font> </div> <br>
On 2013-03-18 09:42, Darryl McAdams wrote:<br>> http://hpaste.org/84240<br>><br>> yields the error<br>><br>> blowUpSparseVec (n = 2) aux i=3 j=3 length l = 2<br>><br>> when the holes on the last few lines are given the values inside the {! !}<br>><br>> This is with the most recent install of agda. Is there any fix to this?<br><br>This looks related to some recently reported bugs:<br><br> http://code.google.com/p/agda/issues/detail?id=754<br> http://code.google.com/p/agda/issues/detail?id=787<br><br>Do you have the most recent development version?<br><br>-- <br>/NAD<br><br><br> </div> </div> </div></body></html>