git.iko.soy/Idris-dev
on master help sign in
CHANGELOG
b149185raichoo
CHANGELOG+1
compare with master
unifiedsplit
@@ -1,6 +1,7 @@
1New in 0.9.13:
1New in 0.9.13:
2--------------
2--------------
3* IDE support for retrieving structured information about metavariables
3* IDE support for retrieving structured information about metavariables
4+* Experimental Bits support for JavaScript
4
5
5New in 0.9.12:
6New in 0.9.12:
6--------------
7--------------