idris-hackers / software-foundations

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

Basics: fix typos, add some explanations #7

Closed clayrat closed 7 years ago

yurrriq commented 7 years ago

Thanks for this. I've made a few comments inline and it looks like you'll need to rebase.

yurrriq commented 7 years ago

:+1: to "symbolic" and "are False"

clayrat commented 7 years ago

Done