Introduction to Dependent Types With Idris : Encoding Program Proofs in Types...

Introduction To Dependent Types With Idris: Encoding Program...

Type-Driven Development with Idris by Brady, Edwin

Set Theory An Introduction to Independence Proofs, by Kenneth Kunen

Introduction to Quantum Mechanics, A Time-Dependent Perspective, Hardcover

Introduction to Dependent Types with Idris - 9781484292587

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by

Type-Driven Development with Idris