branch

• bug/eof-comment
• bug/fix-conversion-check-pp
• design-doc
• docs/annotate-constructors-with-syntax
• docs/expand-tutorial
• docs/readme-update-2
• emacs-mode
• feature/import
• feature/module-imports
• feature/poly-lambda-decl-syntax
• feature/std-lib
• homlam-improvements
• infra/flake-cleanup
• infra/flake-update
• main
• nested-let
• poly
• repr
• rule-doc
• testing/golden-tests
• tuple-binders
• tuple-binders-new

tag