{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/formal","name":"formal","version":"0.1.0","softwareVersion":"0.1.0","license":"https://spdx.org/licenses/MIT","keywords":["compiler","mit","program","Propose Tags"],"maintainer":[{"@type":"Person","name":"AndrewStein"}],"author":[{"@type":"Person","name":"AndrewStein"}],"copyrightHolder":[{"@type":"Person","name":"AndrewStein"}],"dateCreated":"2012-11-12","dateModified":"2012-11-12","datePublished":"2012-11-12","copyrightYear":2012,"downloadUrl":"https://hackage.haskell.org/package/formal-0.1.0/formal-0.1.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/formal"]}