{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:bower/purescript-sized-vectors","name":"purescript-sized-vectors","description":"Idris style sized vectors in PureScript","version":"v5.0.2","softwareVersion":"v5.0.2","license":"https://spdx.org/licenses/LGPL-3.0-or-later","codeRepository":"https://github.com/bodil/purescript-sized-vectors","issueTracker":"https://github.com/bodil/purescript-sized-vectors/issues","programmingLanguage":{"@type":"ComputerLanguage","name":"PureScript"},"dateCreated":"2016-10-23","dateModified":"2021-01-05","datePublished":"2021-01-05","copyrightYear":2016,"downloadUrl":"https://codeload.github.com/bodil/purescript-sized-vectors/tar.gz/v5.0.2","applicationCategory":"bower","runtimePlatform":"bower","developmentStatus":"active","https://www.w3.org/ns/activitystreams#likes":18,"https://forgefed.org/ns#forks":12}