edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-23 20:22:34 +03:00
Code Issues Projects Releases Wiki Activity

Initialise a CHANGELOG

Browse Source
This commit is contained in:
Edwin Brady 2020-03-31 22:43:58 +01:00
parent 7f4659814c
commit 07ed0352a2
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
CHANGELOG.md Normal file
View File

@ -0,0 +1,5 @@
Changes since Idris 1
---------------------
Everything :). For full details, see:
https://idris2.readthedocs.io/en/latest/updates/updates.html