RustとHaskellとAndroidとCLIツールと処理系好き。いつかRustかAndroidアプリ開発で仕事をしてみたい万年初心者。 Twitter（自称X）は@ogtkzkです。