paf31/Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell
Embedding a Full Linear Lambda Calculus in Haskell
Public GitHub Catalog
Discovered Oct 14, 2026
paf31 / purescript-derive-lenses
A little utility to derive lenses and prisms for data types in PureScript
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.
#38552783GitHub 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/acme-all-monad
A monad which is powerful enough to interpret any action
paf31/purescript-tropical
Tropical Semirings