[Agda] agda options under emacs

[Andrés Sicard-Ramírez]

On Sun, Dec 13, 2009 at 8:28 AM, Florent Balestrieri <fyb at cs.nott.ac.uk>wrote:

>
> I'm writing several interdependent modules at once and
> because I have priorities, I don't fill every definition :
> some are just question marks with which I would deal later.
>
> Now agda 2.2.4 won't typecheck a module which imports another
> uncompleted module, complaining about those unsolved meta
> variables. Is there a way to make agda more flexible about
> those things?
>
>
Maybe there is a better solution, but you can replace those question marks
with postulates.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20091213/9a239cc9/attachment.html