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