Hello Mikulas,<br><br>Use Ctrl - C, X, C<br>For additional information please refer to <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode</a><br>
<br>Cheers,<br>Dmytro <br><br><div class="gmail_quote">2013/3/23 Mikuláš Knut <span dir="ltr"><<a href="mailto:mikulasknut@centrum.sk" target="_blank">mikulasknut@centrum.sk</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<p style="padding:0 0 0 0;margin:0 0 0 0"> </p>
<p style="font-family:'Geneva CE','Arial CE',Arial,'Helvetica CE',Helvetica,sans-serif;font-size:12px"><span style="font-size:10pt">Good day,</span></p>
<p style="font-family:'Geneva CE','Arial CE',Arial,'Helvetica CE',Helvetica,sans-serif;font-size:12px">i am from Slovakia and i interesting about Agda language. I need help. Instal <span style="font-family:sans-serif;font-size:12.800000190734863px;line-height:19.049999237060547px">Agda 2.3.0.1 for Windows from this page: </span></p>
<p style="font-family:'Geneva CE','Arial CE',Arial,'Helvetica CE',Helvetica,sans-serif;font-size:12px"><span style="font-family:sans-serif;font-size:12.800000190734863px;line-height:19.049999237060547px"></span><font face="sans-serif"><span style="font-size:12.800000190734863px;line-height:19.049999237060547px"><a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download" target="_blank">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download</a></span></font></p>
<p style="font-family:'Geneva CE','Arial CE',Arial,'Helvetica CE',Helvetica,sans-serif;font-size:12px"><font face="sans-serif"><span style="font-size:12.800000190734863px;line-height:19.049999237060547px"></span></font><span style="font-size:12.800000190734863px;line-height:19.049999237060547px;font-family:sans-serif">i create some program in emacs agda but dont know how to compile and run this program. I write some programs in haskell and compilate a run my program in haskell is very easy but in agda i dont know. Can you help me??</span></p>
<p style="font-family:'Geneva CE','Arial CE',Arial,'Helvetica CE',Helvetica,sans-serif;font-size:12px"> </p>
<p style="font-family:'Geneva CE','Arial CE',Arial,'Helvetica CE',Helvetica,sans-serif;font-size:12px"><font face="sans-serif"><span style="font-size:12.800000190734863px;line-height:19.049999237060547px">Thank you for your answer.</span></font></p>
<br>_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
<br></blockquote></div><br>