Tlorrの投稿記録
表示
利用者の編集は5回。 2023年4月22日 (土)にアカウント作成。
2023年5月13日 (土)
- 16:562023年5月13日 (土) 16:56 差分 履歴 −864 m Idris (プログラミング言語) エラーの修正 タグ: ビジュアルエディター
- 16:542023年5月13日 (土) 16:54 差分 履歴 +5,183 N Idris (プログラミング言語) ページ「Idris (programming language)」の翻訳により作成 タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2
- 16:462023年5月13日 (土) 16:46 差分 履歴 −896 m 利用者:Tlorr/Idris (プログラミング言語) エラーの修正 タグ: ビジュアルエディター
- 16:162023年5月13日 (土) 16:16 差分 履歴 +1,666 利用者:Tlorr/Idris (プログラミング言語) ページ「Idris (programming language)」の翻訳により作成 タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2
- 15:162023年5月13日 (土) 15:16 差分 履歴 +3,496 N 利用者:Tlorr/Idris (プログラミング言語) ページ「Idris (programming language)」の翻訳により作成 タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2