Type-Driven Development with Idris
$42.98
from $18.04
Three Thousand Years of Longing
from $5.99
100 Streets
from $14.99
Beast
Second Coming
from $3.99
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
from $36.80
The Take (2016)
from $16.79
Land Speed
No Good Deed
from $12.99
The Mountain Between Us
from $3.59
More results from Amazon »