{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/hermit","name":"hermit","description":"HERMIT is a Haskell-specific toolkit designed to mechanize\nequational reasoning and program transformation during compilation in GHC.\n\nExamples can be found in the examples sub-directory.\n\nExample of running a script.\n\nExample of interactive use.\n\nTo resume compilation, use resume.","version":"1.0.1","softwareVersion":"1.0.1","license":"https://spdx.org/licenses/BSD-3-Clause","keywords":["bsd3","formal-methods","language","library","optimization","program","refactoring","reflection","transformation","Propose Tags"],"maintainer":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"AndrewFarmer"},{"@type":"Person","name":"AndyGill"},{"@type":"Person","name":"NeilSculthorpe"}],"author":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"AndrewFarmer"},{"@type":"Person","name":"AndyGill"},{"@type":"Person","name":"NeilSculthorpe"}],"copyrightHolder":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"AndrewFarmer"},{"@type":"Person","name":"AndyGill"},{"@type":"Person","name":"NeilSculthorpe"}],"dateCreated":"2011-08-02","dateModified":"2016-02-23","datePublished":"2016-02-23","copyrightYear":2011,"downloadUrl":"https://hackage.haskell.org/package/hermit-1.0.1/hermit-1.0.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/hermit"]}