larrytheliquid/expless
Adaptation of Ch. 4 of James Chapman's thesis to Values and Hereditary Substitution (note to self: currently missing some theorems still on laptop)
Public GitHub Catalog
Discovered Sep 25, 2026
larrytheliquid / abstract-theory
I think this was code i played with while preparing for the galois tech talk i gave
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.
#4686821GitHub System ID
larrytheliquidOrganization / User
PublicVisibility
ActiveCatalog Status
More from larrytheliquid
larrytheliquid/plclub-expless
PL Club talk on Expressionless Weak-Head Normal Forms
larrytheliquid/gpcl
Genetic Programming using Combinatory Logic
larrytheliquid/agda
Agda is a dependently typed programming language / interactive theorem prover.