[Agda] The archives are now public

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Mon Feb 4 15:21:37 CET 2008

Previous message: [Agda] emptiness checking with strings
Next message: [Agda] Re: [Haskell-cafe] Signature for non-empty filter
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Now the archives are accessible from outside Chalmers:

https://lists.chalmers.se/pipermail/agda/

(Apparently it helps when a full professor communicates with those in charge.)

-- 
/NAD

Previous message: [Agda] emptiness checking with strings
Next message: [Agda] Re: [Haskell-cafe] Signature for non-empty filter
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list