Skip to content
View igrep's full-sized avatar
:shipit:
Writing in Haskell or TypeScript.
:shipit:
Writing in Haskell or TypeScript.

Sponsoring

@neovim
@PhilippC

Organizations

@hasmoku @haskell-jp @haskell-github-trust

Block or report igrep

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
igrep/README.md

YAMAMOTO Yuji (@igrep)'s GitHub Profile

  • 🎂 Birthdate: 1989-04-16
  • 😄 Pronouns: he/him
  • ⚓️ Home City: Yokohama
  • 🏙 Lives in: Tokyo
  • 💬 Languages:
    • 🇯🇵 Japanese (Bilingual of Osaka/Tokyo dialects)
    • 🇬🇧 English (As I write this page and send you some pull requests with little help of machine translation)
    • 🇨🇳 Chinese (A little)

Repositories Overview

📚Related to Programming Languages

  • haskell-jp/makeMistakesToLearnHaskell
    • NOTE: 🇯🇵The main contents are in Japanese.
    • A long introduction to Haskell for Japanese beginners.
    • Features:
      • Consists of exercises and explanations of knowledge necessary to do the exercises.
      • In each chapter, the readers learn things only necessary to do the exercise.
      • Recommends the readers to learn from error messages.
    • I'm recently less interested in Haskell, but I don't want to give up finishing.
  • custard-lang/custard
    • 🍮Currently developed as a Clojure-like AltJS (language that is translated into JavaScript) for me.
    • 🚧Still work in progress. Completely undocumented yet. Sorry!
  • igrep/lean-workshop
    • ⚖️I expect that the skill to use a theorem prover will help me to design/develop the language above in the future. That's why I started to learn Lean every two weeks with my friends. This is the repository to record what I wrote in the workshops.

🍴Forks

🤡Jokes

💬Others

Contributions on OSS outside GitHub

Other Profile Pages

Pinned Loading

  1. typesafe-precure typesafe-precure Public

    Type-safe transformations and purifications of PreCures (Japanese battle heroine)

    Haskell 20 1

  2. ts-that-grow ts-that-grow Public

    Example code to explain "Trees that Grow" in TypeScript.

    TypeScript 6