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

Update CHANGELOG.md and CONTRIBUTORS

Browse Source
This commit is contained in:
Sam Phillips 2022-10-01 19:26:30 -07:00 committed by CodingCellist
parent ba34b64c68
commit 358c107c53
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
CHANGELOG.md
View File

@ -136,6 +136,8 @@
* Drop first argument (path to the `node` executable) from `System.getArgs` on
the Node.js backend to make it consistent with other backends.
* Adds `Uninhabited` instances for `FZ ~~~ FS k` and `FS k ~~~ FZ`.
* Change behavior of `channelPut` on the Racket backend to match the behavior
on the Chez backend.
#### Test

1
CONTRIBUTORS
View File

@ -53,6 +53,7 @@ Rodrigo Oliveira
Rohit Grover
Rui Barreiro
Ruslan Feizerahmanov
Sam Phillips
Simon Chatterjee
Stefan Höck
tensorknower69