- ogata-k@ogata-k
RustとHaskellとCLIツールと処理系好き。いつかRustで仕事をしてみたい初心者。 Twitterは@ogtkzkです。
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
1 / 1
RustとHaskellとCLIツールと処理系好き。いつかRustで仕事をしてみたい初心者。 Twitterは@ogtkzkです。
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.