release/M3

Hi all, we have been hard at work on Unison.

UCM Milestone 3 includes:

• New website with much-improved documentation! https://unison-lang.org and https://unison-lang.org/learn by @rlmark and @hojberg
• Base library now has overview documentation and many new API docs on individual types and functions (for instance, Float), by @runarorama
• Native support for Windows! Help us test it out! 🤞(None of us runs Windows.)
• So many bug fixes, and performance improvements, and including an updated codebase format. You may want to grab a bite to eat while you wait, but your code will be migrated automatically. 🤖
• Support for pushing and pulling from git branches and tags in Git-hosted codebases. But don't get too attached, because Unison native code hosting is in the works. 🚀
• Many Codebase UI and Doc rendering improvements. In fact, all of the posts at http://unison-lang.org/blog are now Doc values! (Including those that embed video! 🎞)
• Experimental support for fzf auto-completion in ucm.
• A few new or changed UCM commands:
  • gist pushes a namespace to your remote codebase; for quickly sharing namespaces that you don't necessarily want to name.
  • pull.without-history, for when all you want is a squash merge.
  • delete.namespace.force allows you to delete a namespace that still has dependencies. (Use at your own risk, since the names will missing for the time being.)
  • api prints the UCM web api links for those who are developing against it.
  • compile.output is now compile.
• Special thank you to external contributors: @solomon-b, @nprindle, @hagl, and @philderbeast.

Full list of PRs merged since M2l:

• remove cycle length by @aryairani in #2374
• consolidate localize object helpers (rehash migration branch) by @mitchellwrosen in #2580
• Add TermReference, TypeReference, ConstructorReference (targeting topic/rehash-codebase) by @mitchellwrosen in #2662
• always save builtin identifiers to database by @aryairani in #2730
• bump schema version for new codebases from 1 to 2 by @aryairani in #2732
• Bugfix: make hashing effects order-independent by @mitchellwrosen in #2777
• continuing to isolate v2 hashing code by @aryairani in #2635
• Clarify naming & docs for hashing classes. by @ChrisPenner in #2770
• fix quadratic hashing in hashComponent by @mitchellwrosen in #2802
• Add progress bar and prompt to migration by @ChrisPenner in #2828
• Recover from missing branch objects by replacing with empty branches. by @ChrisPenner in #2844
• merge trunk into topic/rehash-codebase by @aryairani in #2873
• Don't crash when printing types with higher-rank fields. by @ChrisPenner in #2866
• 'Linearize' quantified ability variables for better inference by @dolio in #2895
• Add Phil de Joux as contributor. by @philderbeast in #2893
• stop using Shellmet in Git.hs by @aryairani in #2900
• docs.to-html headings should have an id by @hojberg in #2903
• Use 'v2' branch for auto-pull of base on topic/rehash-codebase by @ChrisPenner in #2902
• Rehash Codebase Migration (schema v2) by @aryairani in #2627
• Don't sync ALL test watches. by @ChrisPenner in #2904
• Fix an issue with the effect variable linearizing patch by @dolio in #2907
• Fix an issue computing sandbox info by @dolio in #2908
• Don't use ! syntax for ctor application (Any () and Some (), not !Any or !Some) by @pchiusano in #2898
• patch Shellmet (instead of replacing it) by @aryairani in #2914
• delete broken runtime benchmark by @aryairani in #2915
• Add annotations to reserved keyword, reserved word, and empty matches by @ChrisPenner in #2919
• Add debugging combinators by @ChrisPenner in #2856
• Allow pushing to v2 codebases by @ChrisPenner in #2910
• Traverse type references in ANF functions by @dolio in #2920
• add integration-tests to hie.yaml by @aryairani in #2916
• Rewrite Slurping code by @ChrisPenner in #2814
• use posix paths when matching git status output by @aryairani in #2921
• Fix universal equality by @runarorama in #2929
• vim-completion: don't include bang by @ceedubs in #2932
• Try to only float a single copy of a definition by @dolio in #2615
• switch to Windows code page 65001 in exe:unison and exe:tests by @aryairani in #2917
• add windows release (1st attempt) by @aryairani in #2934
• replace removeDirectoryRecursive with removePathForcibly by @aryairani in #2937
• codepage 65001 for parser-typechecker tests too by @aryairani in #2938
• don't call stack exec and don't use / by @aryairani in #2936
• Avoid redundant clone (and migration) when pushing. by @ChrisPenner in #2912
• Fix transcripts/io.md to work on windows builds. by @ChrisPenner in #2942
• Add newline conversion to utf8 file helpers for windows support by @ChrisPenner in #2943
• Doc Embed: Add Video and FrontMatter by @hojberg in #2946
• Handle more inconsistencies with newline conversion on Windows by @ChrisPenner in #2949
• Use v3 branch instead of v2 for less confusion by @ChrisPenner in #2951
• Fix delete.namespace.force msg spacing by @ceedubs in #2681
• Fix type declaration example by @ceedubs in #2837
• Doc: Remove leftover trace statements by @hojberg in #2954
• Add short options for codebase and codebase-create by @ChrisPenner in #2952
• Run transcripts using Haskell API rather than shelling out by @ChrisPenner in #2948
• Fix paging on windows - Less Is More! by @ChrisPenner in #2953
• support windows in ci by @aryairani in #2913
• Enable completion for compile.output by @ceedubs in #2959
• Use softhang if a delayed block is the last argument to a function by @pchiusano in #2960
• let mergify wait for windows build by @aryairani in #2963
• Re-arrange Migrations module to support multiple migrations. by @ChrisPenner in #2964
• Rename compile.output to compile by @ceedubs in #2965
• Ormolu Everything. by @ChrisPenner in #2958
• Add migration to remove v1 hash objects. by @ChrisPenner in #2967
• Vacuum once after all migrations have been completed. by @ChrisPenner in #2972
• Sync trunk to series/M2 by @pchiusano in #2103
• updating website url references to new website by @rlmark in #2973

Full Changelog: release/M2l...release/M3