git.iko.soy/Idris-dev
on master help sign in
update CHANGELOG
249f087be5invis
CHANGELOG.md+7−4
compare with master
unifiedsplit
@@ -1,13 +1,16 @@
1
1
2## Tool Updates
2## Tool Updates
3
3
4−+ New javascript code generator that uses an higher level intermediate
4++ New JavaScript code generator that uses an higher level intermediate
5 representation.
5 representation.
6−
6+
7++ Various optimizations of the novel JavaScript code generator to make
8+ its results fast.
9+
7+ Names are now annotated with their representations over the IDE
10+ Names are now annotated with their representations over the IDE
8 protocol, which allows IDEs to provide commands that work on special
11 protocol, which allows IDEs to provide commands that work on special
9− names that don't have syntax, such as case block names
12+ names that don't have syntax, such as case block names.
10−
13+
11
14
12# New in 1.0
15# New in 1.0
13
16