idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

Add draft of "Lists" chapter #12

Closed clayrat closed 7 years ago

yurrriq commented 7 years ago

This is awesome! Thank you. I look forward to reviewing later.

yurrriq commented 7 years ago

Thanks! This looks great. I've got a few edits, but nothing major.