rntz/curry-howard-slides
Public repository.
Public GitHub Catalog
Discovered Sep 27, 2026
rntz / pml
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#9660212GitHub System ID
rntzOrganization / User
PublicVisibility
ActiveCatalog Status
More from rntz
rntz/monoidal-scope
Toy Scheme with extensible scope, based on monoids
rntz/mloid-abandoned
Extensible language based on monoid-parameterized parsing
rntz/emm-ess-pee
MSP430 emulator