[Agda] installation trouble WAS Re: why is this corecursion red? And indexed coinductive definitions.

Nils Anders Danielsson nad at cse.gu.se
Tue May 5 12:49:24 CEST 2020

Previous message (by thread): [Agda] installation trouble WAS Re: why is this corecursion red? And indexed coinductive definitions.
Next message (by thread): [Agda] Boolean And in Pair
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2020-05-02 14:39, Thorsten Altenkirch wrote:
> But I am still puzzled why agda-mode doesn't work from the terminal?

Presumably Emacs is not on your PATH.

-- 
/NAD

Previous message (by thread): [Agda] installation trouble WAS Re: why is this corecursion red? And indexed coinductive definitions.
Next message (by thread): [Agda] Boolean And in Pair
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list