Filter

Showing all 2 results

Sale!
Quick View

Computers - Programming

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Programming

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.