あいや
@aiya000
Moggiと"love"で接近中! 🤟🙄🤟
EFLOW,inc
$ analyze @aiya000
posted articles
- Haskell:26%
- Vim:4%
- Monad:4%
- lens:3%
- ghc:3%
LGTMed articles
- Haskell:7%
- JavaScript:3%
- Vim:3%
- TypeScript:2%
- Git:2%
Edit Pickup Articles (Up to 3)
Pickup Articles
- baseパッケージにある型レベルプログラミング探検の旅14数学といえば定理証明。 コンピュータといえばHaskell。 ということでHaskellで定理証明（型レベルプログラミング）です！ この記事は[数学とコンピュータ Advent Calendar 2017](https://qiita.com/advent-calendar/2017/math-and-computer)の、 12月3日の記事です。 # 始まり 多くのHaskeller...2017/12/08
- Happyでパースエラーで列行番号とどんなミスマッチが起こったか報告する9## まとめ コード全文は結構長いのでこちら :point_down: - [learning-Haskell/verbose_errors.y - aiya000/learning-Haskell - GitHub](https://github.com/aiya000/learning-Haskell/blob/3c9307776d0421a1aa3f1bea59adfd2593f519b...2018/06/04
- 最近ぼくがVimに設定したこと47ハロー、ハッピーVimmer :tada: 今日はVim pluginと、それに対する僕の設定を紹介します。 - [僕の.vimrc](https://github.com/aiya000/dotfiles/blob/573559ecb3dda3e774e3d790c96aa308eaf8948d/.vimrc) - [僕の.vimディレクトリ](https://github.com/aiya...2019/11/29
Why do not you register as a user and use Qiita more conveniently?
- We will deliver articles that match youBy following users and tags, you can catch up information on technical fields that you are interested in as a whole
- you can read useful information later efficientlyBy "stocking" the articles you like, you can search right away
ユーザーは見つかりませんでした