> For the complete documentation index, see [llms.txt](https://globalimpact.gitbook.io/innovations-in-givewell-esque-ceas/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://globalimpact.gitbook.io/innovations-in-givewell-esque-ceas/innovations-and-issues/type-checking-and-code.md).

# (Type checking and code)