{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/helf","name":"helf","description":"HELF = Haskell implementation of the Edinburgh Logical Framework\n\nHELF implements only a subset of the Twelf syntax and functionality.\nIt type-checks LF definitions, but does not do type reconstruction.","version":"1.0.20240318","softwareVersion":"1.0.20240318","license":"https://spdx.org/licenses/MIT","url":"http://www2.tcs.ifi.lmu.de/~abel/projects.html#helf","keywords":["dependent-types","mit","program","Propose Tags"],"maintainer":[{"@type":"Person","name":"AndreasAbel"}],"author":[{"@type":"Person","name":"AndreasAbel"}],"copyrightHolder":[{"@type":"Person","name":"AndreasAbel"}],"dateCreated":"2016-12-25","dateModified":"2024-03-18","datePublished":"2024-03-18","copyrightYear":2016,"downloadUrl":"https://hackage.haskell.org/package/helf-1.0.20240318/helf-1.0.20240318.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/helf"]}