BekaValentine/TTInAgda
An implementation of the STLC in Agda, with raw terms, typing proofs, and indexed terms
Public GitHub Catalog
Discovered Oct 27, 2026
BekaValentine / FunctionsAsProofs
An approach to computing functions as proof problems.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#43458674GitHub System ID
BekaValentineOrganization / User
PublicVisibility
ActiveCatalog Status
More from BekaValentine
BekaValentine/GenericEvaluators
A technique for implementing evaluators of various styles, independent of any particular lambda calculus.
BekaValentine/SimpleFP
A series of implementations of a simple functional programming language.
BekaValentine/efficient-subset-matching-with-tries
Public repository.