ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-13 15:36:41 +03:00
Code Issues Projects Releases Wiki Activity

CHANGELOG update for simplified reflection

Browse Source
This commit is contained in:
David Raymond Christiansen 2015-10-07 10:59:02 +02:00
parent 105c230217
commit 4b06aa4c6c
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
View File

@ -32,6 +32,8 @@ Library updates
necessary to import Language.Reflection.Elab.
* The `PERF` effect allows for simple performance metrics to be collected
from Effectful programs.
* Some constructors that never actually occurred have been removed from
the TT and Raw reflection datatypes in Language.Reflection.
Tool updates
------------