6

Prelude の組み込み関数の定義を調べたいので、興味があります。

私はそれを検索しましたが、コンパイル済みのファイルが ~/.cabal/share/idris... にしか見つかりませんでした。

4

2 に答える 2

6

Vitus のコメントによると、ソースは次のとおりです。

https://github.com/idris-lang/Idris-dev/tree/master/libs

于 2013-09-11T16:07:42.987 に答える