[Agda] Run Agda program

[Dmytro Starosud]

Hello Mikulas,

Use Ctrl - C, X, C
For additional information please refer to
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode

Cheers,
Dmytro

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 2.3.0.1 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