HaskellとAgdaを学び始めた大学院生

iOS Developer

Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.

A Haskell, Maxima lover, PhD in physics. About to leave qiita, perhaps.

プログラミング言語Signを設計、現在エコシステム開発に向けてプロジェクト進行中 関数型プログラミングをのためのmodule: https://www.npmjs.com/package/white_cats https://www.npmjs.com/package/dsand プログラミングカフェ　札幌　主催

デジタルプロダクトデザイナー

にっこにっこにー🤟😌🤟 フロントエンドを専門に活動をしています！ フロントエンド以外もできるよ！ TypeScript/Haskell/静的型システム/Neovim🪬 技術の最新動向追います👀 圏論の数学書執筆したよ📝

京都在住のHaskellerです。