idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 16:51:51 +03:00
Code Issues Projects Releases Wiki Activity

move CHANGELOG entry to CHANGELOG_NEXT

Browse Source
This commit is contained in:
Mathew Polzin 2024-01-01 21:47:36 -06:00 committed by André Videla
parent b5895394d1
commit e583e73a7c
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
CHANGELOG.md
View File

@ -34,9 +34,6 @@ This CHANGELOG describes the history of already-released versions. Please see [C
referred to by another definitions, and in which function currently elaborator is. referred to by another definitions, and in which function currently elaborator is.
These features together give an ability to inspect whether particular expressions These features together give an ability to inspect whether particular expressions
are recursive (including mutual recursion). are recursive (including mutual recursion).
* Autobind and Typebind modifier on operators allow the user to
customise the syntax of operator to look more like a binder.
See [#3113](https://github.com/idris-lang/Idris2/issues/3113).
### REPL/CLI changes ### REPL/CLI changes

4
CHANGELOG_NEXT.md
View File

@ -26,6 +26,10 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO
### Language changes ### Language changes
* Autobind and Typebind modifier on operators allow the user to
customise the syntax of operator to look more like a binder.
See [#3113](https://github.com/idris-lang/Idris2/issues/3113).
### Backend changes ### Backend changes
#### RefC #### RefC