mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 05:20:46 +03:00
189 B
189 B
The builtins.merge
command adds the known builtins to the specified subnamespace within the current namespace.
scratch/main> builtins.merge builtins
scratch/main> ls builtins