pigworker/ConorLearnsIdris
being a scratch space for my teething troubles and tiny triumphs
Public GitHub Catalog
Discovered Sep 27, 2026
pigworker / Pivotal
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.
#9172152GitHub System ID
pigworkerOrganization / User
PublicVisibility
ActiveCatalog Status
More from pigworker
pigworker/CS410-14
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
pigworker/OpenSigma
being an attempt to express dependently typed data models
pigworker/MGS14
being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham