{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/free-theorems-seq-webui","name":"free-theorems-seq-webui","description":"This package provides access to the functionality of\nhttp://hackage.haskell.org/package/free-theorems-seq through a web interface.\n\nAn online version of the interface is running at http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi.","version":"1.0.0.2","softwareVersion":"1.0.0.2","license":"https://spdx.org/licenses/Other","keywords":["language","program","public-domain","Propose Tags"],"maintainer":[{"@type":"Person","name":"JanisVoigtlaender"},{"@type":"Person","name":"DanielSeidel"}],"author":[{"@type":"Person","name":"JanisVoigtlaender"},{"@type":"Person","name":"DanielSeidel"}],"copyrightHolder":[{"@type":"Person","name":"JanisVoigtlaender"},{"@type":"Person","name":"DanielSeidel"}],"dateCreated":"2011-03-11","dateModified":"2011-03-30","datePublished":"2011-03-30","copyrightYear":2011,"downloadUrl":"https://hackage.haskell.org/package/free-theorems-seq-webui-1.0/free-theorems-seq-webui-1.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/free-theorems-seq-webui"]}