ペンギンの杜

Linuxソフト集

  • Top
  • soft
  • Agda
広告

Agda - - 変数依存型関数型プログラミング言語

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

説明

変数依存型関数型プログラミング言語


コメント

広告