Sign In
About BOOTH
Create Shop
Now your Shop is Private
Make your Shop Public
Dodgson Labs
チェシャ猫
Follow
Following
関数型プログラミング言語や形式手法に関する情報を発信しています。
技術書典2
Books (Other)
入門LiquidHaskell−篩型による静的コード解析−
800 JPY