Skip to content

Commit

Permalink
update changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
andrevidela committed Mar 17, 2024
1 parent 5d2f5c5 commit b3e2032
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions CHANGELOG_NEXT.md
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,8 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO
customise the syntax of operator to look more like a binder.
See [#3113](https://github.com/idris-lang/Idris2/issues/3113).

* Unlabelled fixity declarations now emit a warning.

### Backend changes

#### RefC
Expand Down

0 comments on commit b3e2032

Please sign in to comment.