pigworker/ConorLearnsIdris
being a scratch space for my teething troubles and tiny triumphs
Public GitHub Catalog
Discovered Oct 2, 2026
pigworker / CS410-14
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
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.
#24728212GitHub System ID
pigworkerOrganization / User
PublicVisibility
ActiveCatalog Status
More from pigworker
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
pigworker/Vole
being a funny little programming language with a funny little abstract machine