We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6a8fff5 commit 3e55a06Copy full SHA for 3e55a06
CHANGELOG.md
@@ -6,6 +6,21 @@
6
7
### Fixed
8
9
+
10
+## v0.4.9
11
12
+### Added
13
14
+- Allow incomplete data definition
15
+- Add record and rewrite keywords
16
+- Support literate files
17
+- Add cast snippet
18
19
+### Fixed
20
21
+- Indent after do/where/if/then/else/of
22
+- Save file state when executing commands
23
24
## v0.4.8
25
26
package.json
@@ -1,7 +1,7 @@
1
{
2
"name": "language-idris",
3
"main": "./lib/language-idris",
4
- "version": "0.4.8",
+ "version": "0.4.9",
5
"private": true,
"description": "A plugin for developing with Idris",
"repository": "https://github.com/idris-hackers/atom-language-idris",
0 commit comments