Commits
- 4bd07fc: Indent continuation lines inside parenthesized arrow types (Taylor Fausak) #6218
- e7f1041: Merge branch 'trunk' into gh-626-indent-hof (Arya Irani) #6218
- 7d62d79: Update proofs (Taylor Fausak) #6218
- 918f260: Merge branch 'trunk' into gh-626-indent-hof (Arya Irani) #6218
- d62389e: Merge branch 'trunk' into gh-626-indent-hof (Taylor Fausak) #6218
- 859f32e: Update proofs (Taylor Fausak) #6218
- cd449e1: Merge branch 'trunk' into gh-626-indent-hof (Taylor Fausak) #6218
- 0f6c7fe: Update proofs (Taylor Fausak) #6218
- 56919ec: Merge branch 'trunk' into gh-626-indent-hof (Taylor Fausak) #6218
- 3291466: Update proofs (Taylor Fausak) #6218
- 70bccd2: added instructions for bob (Brandon Elam Barker) #6235
- aec93ce: add gemini cli (Brandon Elam Barker) #6235