About aiya000🐕️あいや
Haskell, TypeScript, and Idris ♥
Lua and Neovim <- new!!
Lists
aiya000 has no public lists
Timeline
aiya000 has no activity yet
Haskell, TypeScript, and Idris ♥
Lua and Neovim <- new!!
aiya000 has no public lists
aiya000 has no activity yet