GitHub / Deducteam / atom-dedukti
Atom mode for Dedukti (Lambdapi)
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/Deducteam%2Fatom-dedukti
Stars: 2
Forks: 1
Open issues: 0
License: None
Language: JavaScript
Size: 1.11 MB
Dependencies parsed at:
8
Created at: almost 7 years ago
Updated at: 12 days ago
Pushed at: almost 7 years ago
Last synced at: about 20 hours ago
package.json
npm
- atom-languageclient ^0.9.5
- @types/atom 1.28.0
- @types/node 8.10.21
- atom-languageclient 0.9.5
- fuzzaldrin-plus 0.6.0
- vscode-jsonrpc 3.6.2
- vscode-languageserver-protocol 3.6.0-next.5
- vscode-languageserver-types 3.9.0