[Agda] code.haskell.org

Permjacov Evgeniy permeakra at gmail.com
Thu Feb 3 17:52:23 CET 2011


code.haskell.org/Agda is empty or wiped out. Where can I download
current sources?


More information about the Agda mailing list