Include study resources as you go along?

[Chinmay Deshpande]

It would be really helpful for someone interested in the topic to have some resources(not just for Agda, but Type Theory in general) to start off with. This could also help understand the problems and code being written.

[Chaitanya Koparkar]

@chinmaydd Most of the theorems are from this book. Check out these videos to see Idris in action. AFAIK, Idris and Agda are based on Martin Löf's type theory. I haven't read this yet, but it's on my TODO list.

[Chaitanya Koparkar]

@chinmaydd Oh, and also, Dan Friedman and David Christiansen are working on another "Little" book on dependently typed programming in Scheme. Watch out for that. It'll be great!

[Chinmay Deshpande]

That's awesome. Thanks a lot! 😄

[Chaitanya Koparkar]

@chinmaydd No, thank you! You brought up a very important point. I'll remember to include links to the resources as I implement more stuff :-)