{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/agda2lagda","name":"agda2lagda","description":"Simple command line tool to convert plain Agda\nor Haskell files into literate files.  Line comments\nare interpreted as text, the rest as code blocks.","version":"0.2025.9.5","softwareVersion":"0.2025.9.5","license":"https://spdx.org/licenses/Other","codeRepository":"https://github.com/andreasabel/agda2lagda","issueTracker":"https://github.com/andreasabel/agda2lagda/issues","url":"https://github.com/andreasabel/agda2lagda","keywords":["dependent-types","development","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"AndreasAbel"}],"author":[{"@type":"Person","name":"AndreasAbel"}],"copyrightHolder":[{"@type":"Person","name":"AndreasAbel"}],"dateCreated":"2020-10-31","dateModified":"2025-09-05","datePublished":"2025-09-05","copyrightYear":2020,"downloadUrl":"https://hackage.haskell.org/package/agda2lagda-0.2025.9.5/agda2lagda-0.2025.9.5.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/agda2lagda"],"https://www.w3.org/ns/activitystreams#likes":14}