-
Notifications
You must be signed in to change notification settings - Fork 22
/
package.json
94 lines (94 loc) · 2.55 KB
/
package.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
{
"name": "language-idris",
"main": "./lib/language-idris",
"version": "0.6.0",
"private": true,
"description": "A plugin for developing with Idris",
"repository": "https://github.com/idris-hackers/atom-language-idris",
"license": "MIT",
"scripts": {
"build": "tsc -p ./lib"
},
"engines": {
"atom": ">=1.31.0"
},
"contributors": [
{
"name": "Morten Fangel",
"url": "http://sevengoslings.net"
},
{
"name": "Nicolas Gagliani",
"url": "http://twitter.com/archaeron"
},
{
"name": "Heather",
"url": "https://github.com/Heather"
},
{
"name": "David Christiansen",
"url": "http://www.davidchristiansen.dk"
},
{
"name": "Edwin Brady",
"url": "https://edwinb.wordpress.com/"
}
],
"configSchema": {
"pathToIdris": {
"title": "Idris Location",
"type": "string",
"default": "idris",
"description": "Location of the Idris executable (e.g. /usr/local/bin/idris)"
},
"panelFontFamily": {
"type": "string",
"default": "",
"description": "The font family to use in the various idris panels"
},
"panelFontSize": {
"type": "number",
"default": 13,
"description": "The font size to use in the various idris panels"
},
"panelFontLigatures": {
"type": "boolean",
"default": false,
"description": "Enable ligatures in the various idris panels"
}
},
"providedServices": {
"autocomplete.provider": {
"versions": {
"2.0.0": "provide"
}
}
},
"consumedServices": {},
"atomTranspilers": [
{
"transpiler": "atom-ts-transpiler",
"glob": "{!(node_modules)/**/,}*.ts?(x)",
"options": {
"compilerOptions": {},
"cacheKeyFiles": [],
"verbose": false
}
}
],
"dependencies": {
"atom-message-panel": "^1.3.0",
"atom-ts-transpiler": "^1.5.2",
"bennu": "17.3.0",
"nu-stream": "3.3.1",
"preact": "10.4.4",
"rx-lite": "4.0.8",
"tslib": "1.11.1",
"typescript": "3.9.2"
},
"devDependencies": {
"@types/atom": "1.40.4",
"@types/rx-lite": "4.0.6",
"prettier": "2.0.5"
}
}