主页

欢迎使用Agda wiki！

• 下载阿格达。

新闻

• 第六届Agda实施者会议5月24日至30日在哥德堡举行。