5
私はPreludeの組み込み関数の定義を調べたいので、私はintrestedです。Idris標準ライブラリのソースコードはどうすれば入手できますか？
私はここにソースを見つけヴィートさんのコメントによると...
A
答えて
5
を、それを探し、だけ〜/ .cabal /共有/イドリスでプリコンパイルされたファイルが見つかりました：
関連する問題
- 1. ソースコードはどこでGNU C++標準ライブラリにダウンロードできますか？
- 2. インテルのBIOSソースコードはどこから入手できますか？
- 3. org.w3c.dom.Nodeのソースコードはどこから入手できますか？
- 4. Android 1.5（カップケーキ）のソースコードはどこで入手できますか？
- 5. WTP（Webツールプラットフォーム）のソースコードはどこで入手できますか
- 6. QBalloonTipクラスのソースコードはどこで入手できますか
- 7. MTKはAOSPのソースコードを共有していますか？どうすれば入手できますか？
- 8. アレイデータソースkendo-gridはどうすれば入手できますか？
- 9. パックドバリデーションタイプはどうすれば入手できますか？
- 10. どこでアプリケーションのソースコードを入手できますか？
- 11. C++標準ライブラリのソースコードの中で、「typedef see below」とは何ですか？
- 12. どこでwso2is-5.1.0ソースコードを入手できますか？
- 13. Firefox User Agent Switcher - どうすれば入手できますか？
- 14. どうすればApkファイルを入手できますか？
- 15. どうすれば入手できますか調整された終了価格はYahoo Financeライブラリから
- 16. バナーのようなフッターはどうすれば入手できますか？
- 17. .frameworkファイルとは何ですか、どうすれば入手できますか？
- 18. SmartGWT EEのソースコードは無料で入手できますか？
- 19. iPhoneのIMEIはどうすれば入手できますか？私のアプリで
- 20. Intellitestは.NET標準ライブラリで使用できますか？
- 21. ジキルでの抜粋はどうすれば入手できますか？
- 22. Python：どのライブラリが「標準ライブラリ」ですか？
- 23. Ruby標準ライブラリのUnixのマニュアルページですか？ Railsはどうですか？
- 24. WPFはECMA標準ライブラリですか？
- 25. Linuxカーネルから標準ライブラリ呼び出しを行うにはどうすればよいですか？
- 26. MinGWの標準ライブラリを手動でリンクする
- 27. Deployment Tools Foundationのソースコードは入手できますか？
- 28. Silverlight 4コントロールのソースコードは入手できますか？
- 29. Facebookの最新のコメントはどうすれば入手できますか？
- 30. Resharperの命名標準/コーディング標準はどこでダウンロードできますか？
てみてくださいgithubリポジトリ：https://github.com/edwinb/Idris-dev/tree/master/lib – Vitus