{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/agda2train","name":"agda2train","description":"Compiles Agda modules to JSON files, containing information about\nthe imported scope of each module, its definitions and information about each\nsub-term appearing in the code (i.e. context, goal type, term).","version":"0.0.3.0","softwareVersion":"0.0.3.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/omelkonian/agda2train","issueTracker":"https://github.com/omelkonian/agda2train/issues","url":"https://github.com/omelkonian/agda2train/","keywords":["agda","bsd3","library","machine-learning","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"omelkonian"}],"author":[{"@type":"Person","name":"omelkonian"}],"copyrightHolder":[{"@type":"Person","name":"omelkonian"}],"dateCreated":"2023-10-17","dateModified":"2023-10-17","datePublished":"2023-10-17","copyrightYear":2023,"downloadUrl":"https://hackage.haskell.org/package/agda2train-0.0.3.0/agda2train-0.0.3.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/agda2train"],"https://www.w3.org/ns/activitystreams#likes":7,"https://forgefed.org/ns#forks":2}