[Agda] Re: Agda running in the browser

Anthony de Almeida Lopes anthony.de.almeida.lopes at falsifiable.net
Sat Sep 17 06:27:04 CEST 2011

Previous message: [Agda] Re: Agda running in the browser
Next message: [Agda] Re: Agda running in the browser
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> re-implement Agda in Agda,

Do we know if that's possible?

- Anthony

Previous message: [Agda] Re: Agda running in the browser
Next message: [Agda] Re: Agda running in the browser
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list