{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/Agda-executable","name":"Agda-executable","version":"2.3.0","softwareVersion":"2.3.0","license":"https://spdx.org/licenses/Other","url":"http://wiki.portal.chalmers.se/agda/","keywords":["dependent-types","deprecated","program","Propose Tags"],"maintainer":[{"@type":"Person","name":"NilsAndersDanielsson"},{"@type":"Person","name":"UlfNorell"}],"author":[{"@type":"Person","name":"NilsAndersDanielsson"},{"@type":"Person","name":"UlfNorell"}],"copyrightHolder":[{"@type":"Person","name":"NilsAndersDanielsson"},{"@type":"Person","name":"UlfNorell"}],"dateCreated":"2009-03-17","dateModified":"2011-11-23","datePublished":"2011-11-23","copyrightYear":2009,"downloadUrl":"https://hackage.haskell.org/package/Agda-executable-2.3.0/Agda-executable-2.3.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/Agda-executable"]}