Home / Read Book: The Little Typer The Mit Press

The Little Typer The Mit Press

The Little Typer (The MIT Press) Ebook Pdf/ePub Details

The Little Typer (The MIT Press)

Author:Daniel P. Friedman
Language : English
Reader rating : Very Good
Category : Books
Published Date : September 18, 2018
Downloads : 4666143
Reads :4666143

Read Book     Download Link

Gentle Introduction to Dependent Types with Idris Ebook Pdf/ePub Details

Gentle Introduction to Dependent Types with Idris

Author:Boro Sitnikovski
Language : English
Reader rating : Very Good
Category : Books
Published Date : September 7, 2018
Downloads : 2237662
Reads :2237662

Read Book     Download Link