[Agda] Reference manual

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Mon Jun 16 17:27:08 CEST 2008


Hi all people working on the reference manual,

Currently several wiki pages have two copies, the original one plus
one in the reference manual. This is unfortunate, since the two copies
are likely to get out of sync. Can you please make sure that there is
only one copy of every page (merging any conflicting changes)?

-- 
/NAD


More information about the Agda mailing list