Big Books of 2026

Isaac Lopez’s Reviews > Type-Driven Development with Idris > Status Update

Isaac Lopez
Isaac Lopez is on page 55 of 453
— Nov 11, 2023 11:10AM
Type-Driven Development with Idris

flag

Isaac’s Previous Updates





Isaac Lopez
Isaac Lopez is on page 87 of 453
— Nov 11, 2023 05:43PM
Type-Driven Development with Idris


Isaac Lopez
Isaac Lopez is on page 25 of 453
— Nov 10, 2023 12:24PM
Type-Driven Development with Idris


Post a comment »
Comments

No comments have been added yet.


All of Isaac’s status updates
Everyone’s updates from this book