[Agda] FreeBSD and Agda

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Fri Jan 8 19:26:20 CET 2010

Previous message: [Agda] FreeBSD and Agda
Next message: [Agda] Agda with the excluded middle is inconsistent ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2010-01-08 15:32, Jacula Modyun wrote:
> I'm pleased to (finally!) announce the FreeBSD ports of Agda:

Great! Thanks.

--
/NAD

Previous message: [Agda] FreeBSD and Agda
Next message: [Agda] Agda with the excluded middle is inconsistent ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list