Commit graph

2 commits

Author SHA1 Message Date
Antoine Stevan
d881481758
add the standard help to the prelude as std help ... (#8794)
Related to #8505.

# Description
as #8505 has been landed, this PR fixes the prelude TODO and uses the
`help` commands from the standard library in the prelude.

# User-Facing Changes
can now access `std help ...` to use the `help` implementations from the
standard library

# Tests + Formatting
```
$nothing
```

# After Submitting
```
$nothing
```
2023-04-07 20:04:51 +02:00
Antoine Stevan
7bac0b417f
stdlib: add an automatic loading of "prelude" commands (#8627) 2023-04-05 23:44:59 +03:00