Add a section / page to the docs with links to other Turnstile resources: * summer schools * lecture notes? * blog posts? at least: https://lambdaland.org/posts/2023-08-14_types_with_macros/ * papers (with artifact, slides, video link, etc.)
Add a section / page to the docs with links to other Turnstile resources: