paf31/Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell
Embedding a Full Linear Lambda Calculus in Haskell
Public GitHub Catalog
Discovered Sep 29, 2026
paf31 / monad-unify
A library for type-safe first-order unification
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.
#16370653GitHub System ID
paf31Organization / User
PublicVisibility
ActiveCatalog Status
More from paf31
paf31/purescript-signal-loop
An abstraction on top of purescript-signal, for avoiding Channels
paf31/purescript-derive-lenses
A little utility to derive lenses and prisms for data types in PureScript
paf31/acme-all-monad
A monad which is powerful enough to interpret any action