ペンギンの杜

• 追加された行はこの色 です。
• 削除された行はこの色 です。
• soft/Agda へ行く。

*Agda - - 変数依存型関数型プログラミング言語 [#n4bbaad5]
|メインページ|>| http://wiki.portal.chalmers.se/agda/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|変数依存型関数型プログラミング言語|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(Agda);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[agda:http://packages.debian.org/agda]]|~|
|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=Agda]],&soft_addpkg(Ubuntu);|~|

|Ubuntuパッケージ|[[agda:http://packages.ubuntu.com/agda]]|~|

|RPMパッケージ|[[検索:http://fr.rpmfind.net/linux/rpm2html/search.php?query=Agda]],&soft_addpkg(RPM);|~|
|登録日|2009-08-17|~|

***説明 [#j5ef2e01]
変数依存型関数型プログラミング言語

----
***コメント [#sf126063]
#comment(above)