はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります
Following Organizations
No Organizations you are following
$ analyze @yuchiki1000yen
posted articles:
- C#:78%
- LINQ:22%
- ADT:22%
- 代数的データ型:22%
- Haskell:11%
answered questions:
- No data