SAKAI Masahiro - Agda Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

* ((<Agda|URL:http://www.cs.chalmers.se/~catarina/agda/>))
* ((<The Agda Wiki|URL:http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php>))
* ((<ヒビルテ:agda|URL:http://msakai.jp/d/?category=agda>)):agda|URL:/d/?category=agda>))