asr/cabal-issue-223
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
asr / streams
Haskell 2010 stream comonads
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.
#15934478GitHub System ID
asrOrganization / User
PublicVisibility
ActiveCatalog Status
More from asr
asr/pract-inv
Public repository.
asr/agda2atp
The agda2atp program was renamed Apia.
asr/fotc
Agda formalisation of FOTC (First-Order Theory of Combinators).