検索結果
ナビゲーションに移動
検索に移動
このウィキでページ「Idris」を新規作成しましょう。検索で見つかった他のページも参照してください。
- [215] gtk-recordMyDesktop ~/.gtk-recordmydesktop hplip ~/.hplip/ [216] idris ~/.idris [217] Java OpenJDK ~/.java/fonts [218] export _JAVA_OPTIONS=-Djava.util83キロバイト (1,222 語) - 2023年1月24日 (火) 09:55
- 依存関係を持つパッケージを効果的にインストールします。 あまり適切に管理されていないパッケージの場合は、さらに面倒になります。別の例については、Idris (Haskell で書かれた別のプログラミング言語) のインストールに関する このスレッド を参照してください。--allow-newer および41キロバイト (7,075 語) - 2023年8月2日 (水) 18:43
- the best!</title> </head> <body> <p>Arch is the best!</p> </body> </html> Idris 依存型が使える汎用の純粋関数型プログラミング言語。狂った Haskell。 module Main main : IO () main = putStrLn37キロバイト (5,668 語) - 2023年2月18日 (土) 17:20