 | d dタイプからHASKELLコードを生成 |
| 今すぐダウンロード | |
d d ランキングとまとめ
広告
- ライセンス:
- Freeware
- 価格:
- FREE
- 出版社名:
- Lennart Augustsson
- 出版社のWebサイト:
- http://www.augustsson.net/lennart/index.html
- オペレーティングシステム:
- Mac OS X
- ファイルサイズ:
- 20 KB
d d タグ
d d 説明
型からHASKELLコードを生成します Djinnは、タイプが与えられたときにHaskell表現を生成するために、直感的な命題論理のための定理証明書を使用する無料のオープンソースのHaskellプログラムです。 注：Djinnは、BSDライセンスの条項に基づいてライセンスされ、配布されています。 要件： ・GHC.
d d 関連ソフトウェア
