rodrigogribeiro/developing-dependently-typed-programs-agda
Code for a port of Connor McBride's talk "Developing Dependently Typed Programs in Lego" to Agda.
Public GitHub Catalog
Discovered Sep 29, 2026
rodrigogribeiro / subst
Playing with type substitutions in Agda
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.
#16393729GitHub System ID
rodrigogribeiroOrganization / User
PublicVisibility
ActiveCatalog Status
More from rodrigogribeiro
rodrigogribeiro/monoid-prover
A reflective tactic for proving monoid equalities in Idris
rodrigogribeiro/UDESC-talk-04-2014
Slides e código para palestra na UDESC em 04/2014
rodrigogribeiro/apostila-discreta
Material para Matemática Discreta