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