Thank you very much for the great book which answers many of my questions about Agda!
On my first quick read I IMHO found some typos. Maybe my commits help to fix them.
I'm still not completely through the book, therefore I marked the PR with [WIP].
I will remove the tag once I finished.
Best wishes and thank you for your great work
Johannes
Thank you very much for the great book which answers many of my questions about Agda! On my first quick read I IMHO found some typos. Maybe my commits help to fix them.
I'm still not completely through the book, therefore I marked the PR with [WIP]. I will remove the tag once I finished.
Best wishes and thank you for your great work Johannes