Type-Driven Development with Idris

Type-Driven Development with Idris
お得情報
  • Amazonマーケットプレイス
    ¥ 4,680 より
  • Edwin Brady
  • Manning Pubns Co - ペーパーバック - 2017/04/07
  • ¥ 4,356定価 ¥ 5,98427%OFF
「Type-Driven Development with Idris」をAmazonで購入する
amazon.co.jp 詳細ページへ

商品の紹介

This book teaches you with Idris, a language designed to support type-driven development. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.

「Type-Driven Development with Idris」が好きな人は、こんな商品も購入しています

他の商品を探す

「Type-Driven Development with Idris」を含む人気エントリー