{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/elsa","name":"elsa","description":"elsa is a small proof checker for verifying sequences of\nreductions of lambda-calculus terms. The goal is to help\nstudents build up intuition about lambda-terms, alpha-equivalence,\nbeta-reduction, and in general, the notion of computation\nby substitution.","version":"0.3.0.0","softwareVersion":"0.3.0.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/ucsd-progsys/elsa","issueTracker":"https://github.com/ucsd-progsys/elsa/issues","url":"http://github.com/ucsd-progsys/elsa","keywords":["language","library","mit","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"ranjitjhala"}],"author":[{"@type":"Person","name":"ranjitjhala"}],"copyrightHolder":[{"@type":"Person","name":"ranjitjhala"}],"dateCreated":"2017-03-11","dateModified":"2025-10-01","datePublished":"2025-10-01","copyrightYear":2017,"downloadUrl":"https://hackage.haskell.org/package/elsa-0.3.0.0/elsa-0.3.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/elsa"],"https://www.w3.org/ns/activitystreams#likes":192,"https://forgefed.org/ns#forks":25}