Agda web site is moved to "http://unit.aist.go.jp/cvs/Agda".
Automatically jumps to the new page
in 5 seconds.
If not, please
click here
to go to the new URL.