{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40codewars/codemirror-agda","name":"@codewars/codemirror-agda","description":"CodeMirror extension for editing Agda","version":"0.2.0","softwareVersion":"0.2.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/codewars/codemirror-agda","issueTracker":"https://github.com/codewars/codemirror-agda/issues","url":"https://github.com/codewars/codemirror-agda#readme","programmingLanguage":{"@type":"ComputerLanguage","name":"TypeScript"},"maintainer":[{"@type":"Person","name":"spencer.jentzsch"},{"@type":"Person","name":"wesandela"}],"author":[{"@type":"Person","name":"spencer.jentzsch"},{"@type":"Person","name":"wesandela"}],"copyrightHolder":[{"@type":"Person","name":"spencer.jentzsch"},{"@type":"Person","name":"wesandela"}],"dateCreated":"2020-04-30","dateModified":"2021-03-14","datePublished":"2021-03-14","copyrightYear":2020,"downloadUrl":"https://registry.npmjs.org/@codewars/codemirror-agda/-/codemirror-agda-0.2.0.tgz","applicationCategory":"npm","runtimePlatform":"npm","developmentStatus":"active","sameAs":["https://www.npmjs.com/package/@codewars/codemirror-agda"],"https://www.w3.org/ns/activitystreams#likes":6,"https://forgefed.org/ns#forks":3}