idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-24 06:52:19 +03:00
Code Issues Projects Releases Wiki Activity

Update CHANGELOG for :doc and :browse

Browse Source
This commit is contained in:
Edwin Brady 2020-07-08 18:06:02 +01:00
parent 6dce3a0735
commit 2696130720
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
CHANGELOG.md
View File

@ -60,6 +60,8 @@ feature in documented [here](https://idris2.readthedocs.io/en/latest/backends/cu
REPL changes:
* Implemented `:module` command, to load a module during a REPL session.
* Implemented `:doc`, which displays documentation for a name.
* Implemented `:browse`, which lists the names exported by a namespace.
Changes since Idris 2 v0.1.0
----------------------------