masashi-fuji

agda

Agda2 Code

bookmark_for_gmail

generate bookmark uri string for Gmail

Brewfile

mao-seminar

書籍「わかばちゃんと学ぶGit使い方入門」内で使う、ゼミのWebサイトのソースコードです。プルリクエストの練習は「pull-request-practiceリポジトリ」で行ってください。URL: https://github.com/elmas3/pull-request-practice

pull-request-practice

書籍「わかばちゃんと学ぶGit使い方入門」のプルリクエスト練習用リポジトリです。自由にプルリクを送ってください！マージします。🔰このリポジトリは誰でもフォーク・クローンができる公開リポジトリです。コミット情報に名前とメールアドレスを記録したくない方は、SourceTreeの[設定]アイコン　＞　[高度な設定]タブ（ Windows版だと [詳細]タブ）　＞　[ユーザー情報]欄から、ユーザー名を「ニックネーム」・メールアドレスを「自分のアカウント名@users.noreply.github.com」にしてから練習してくださいね

rails_docker_template

udemy1

Created with CodeSandbox

udemy2

Created with CodeSandbox

masashi-fuji/agda

Agda2 Code

masashi-fuji/bookmark_for_gmail

generate bookmark uri string for Gmail

masashi-fuji/Brewfile

masashi-fuji/mao-seminar

書籍「わかばちゃんと学ぶGit使い方入門」内で使う、ゼミのWebサイトのソースコードです。プルリクエストの練習は「pull-request-practiceリポジトリ」で行ってください。URL: https://github.com/elmas3/pull-request-practice

masashi-fuji/pull-request-practice

書籍「わかばちゃんと学ぶGit使い方入門」のプルリクエスト練習用リポジトリです。自由にプルリクを送ってください！マージします。🔰このリポジトリは誰でもフォーク・クローンができる公開リポジトリです。コミット情報に名前とメールアドレスを記録したくない方は、SourceTreeの[設定]アイコン　＞　[高度な設定]タブ（ Windows版だと [詳細]タブ）　＞　[ユーザー情報]欄から、ユーザー名を「ニックネーム」・メールアドレスを「自分のアカウント名@users.noreply.github.com」にしてから練習してくださいね

masashi-fuji/rails_docker_template

masashi-fuji/udemy1

Created with CodeSandbox

masashi-fuji/udemy2

Created with CodeSandbox