広告
広告Agda - - 変数依存型関数型プログラミング言語
| メインページ | http://wiki.portal.chalmers.se/agda/
|
|
| 参考ページ1 | http:// | |
| 参考ページ2 | http:// | |
| 概要 | 変数依存型関数型プログラミング言語 | |
| カテゴリ | [プログラミング/言語 ] | |
| 関連ソフト | -- | |
| 検索 | AgdaをGoogleで検索 | |
| ライセンス | フリー | |
| Debianパッケージ | agda
|
|
| Ubuntuパッケージ | 検索
,
|
|
| RPMパッケージ | 検索
,
|
|
| 登録日 | 2009-08-17 | |
説明
変数依存型関数型プログラミング言語
