elpinal

@wasabi315.bsky.social

:: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)

@gfngfn.bsky.social

https://github.com/gfngfn https://twitter.com/bd_gfngfn https://gfngfn.github.io/ja/

@yf0fyf.bsky.social

だいたい https://zy.gy/yf に居ます