ninegua/type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs
Public GitHub Catalog
Discovered Sep 30, 2026
ninegua / CCA
Causal Commutative Arrows
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.
#19714072GitHub System ID
nineguaOrganization / User
PublicVisibility
ActiveCatalog Status
More from ninegua
ninegua/lambda-viewer
Learn You a Lambda, a Haskell Tutorial
ninegua/GLFW-task
GLFW utility functions for use with monad-task
ninegua/monad-task
Task monad transformer that turns event processing into co-routines programming.