Introduction to Dependent Types with Idris
Subtitle: Encoding Program Proofs in Types
Publisher: Apress L. P.
Published: 2023
Language: eng
ISBN-13: 9781484292587