[Agda] Run Agda program

Dmytro Starosud d.starosud at gmail.com
Sun Mar 24 12:09:18 CET 2013

Hello Mikulas,

Use Ctrl - C, X, C
For additional information please refer to


2013/3/23 Mikuláš Knut <mikulasknut at centrum.sk>

> Good day,
> i am from Slovakia and i interesting about Agda language. I need help.
> Instal Agda for Windows from this page:
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download
> 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??
> Thank you for your answer.
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130324/ffa315c4/attachment.html

More information about the Agda mailing list