idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 02:23:44 +03:00
Code Issues Projects Releases Wiki Activity

[ doc ] add lazy functions to changelog

Browse Source
This commit is contained in:
Justus Matthiesen 2023-05-26 15:30:23 +01:00 committed by Justus Matthiesen
parent 6c6867490c
commit 2733ec2333
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

@ -12,6 +12,8 @@
size-change termination by Lee, Jones and Ben-Amram.
* New function option `%unsafe` to mark definitions that are escape hatches
similar to the builtins `believe_me`, `assert_total`, etc.
* Rudimentary support for defining lazy functions (addressing issue
[#1066](https://github.com/idris-lang/idris2/issues/1066)).
### REPL changes