• ✨Vim ✨

  • Vimプラグインをいくつか作っています

• ✨Haskell ✨

  • すき: lens, megaparsec

• ✨TypeScript ✨

  • すき: Nuxt.js, Vue.js

• 💠自己紹介2023 💠

【「せつラボ」シリーズを執筆中✨ -- 数学および圏論の初歩入門書】
💠https://aiya000.booth.pm/items/1316747 💠
💠https://aiya000.booth.pm/items/1298622 💠

【「矢澤にこ先輩といっしょに代数！」を執筆！ -- 代数的構造についての初歩入門書】
💠https://aiya000.booth.pm/items/1575006 💠
💠https://aiya000.booth.pm/items/1575006 💠

履歴書（Working curriculum vitae）
💠https://github.com/aiya000/Curriculum-Vitae/blob/master/README.md 💠

• 仕事

  • フロントエンドエンジニア（現）
  • フルスタックエンジニア（旧）

• 趣味

  • 数学（圏論）
  • 技術書執筆

• すき

  • ✨Vim ✨
  • ✨Haskell ✨
    • lens, servant, mtl, megaparsec
  • ✨TypeScript ✨
    • Nuxt.js, Vue.js
  • Idris, Scala, Kotlin
  • VRChat
  • YazawaNico

• その他

  • Zenn:https://zenn.dev/aiya000
  • Qiita:https://qiita.com/aiya000
  • ブログ（雑記・個人的な報告など）:http://aiya000.github.io

Popular repositoriesLoading

1. hs-time-scripths-time-scriptPublic

   Time script = Vim script + static typing

   Haskell 47 1

2. nico-langnico-langPublic

   Nico-lang is the programing language of Nico Yazawa

   Haskell 31

3. vim-ghcid-quickfixvim-ghcid-quickfixPublic

   Increse your Haskell development via ghcid!

   Vim Script 30 5

4. vim-quickreplvim-quickreplPublic

   The Simplest Faster way to open your REPL for filetypes.

   Vim Script 19

5. dotfilesdotfilesPublic

   my dotfiles for public.

   Vim Script 16

6. aiya000.github.io-oldaiya000.github.io-oldPublic

   my blog

   HTML 16 4