Jason Chen

Duplicate of #124

I automated this with ```vim autocmd BufNewFile,BufRead *.lagda.md set filetype=agda ```

From Discord discussion: Is the proof even necessary? I feel like adding an extra sentence to the first line of the "Main Idea" section would be better. The sentence can...

Thanks for the pull request! In the future, try to name the PR with a more descriptive title.