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 26, 2026
rodrigogribeiro / agda-tutorial
My solutions to the proposed exercices of a Agda tutorial.
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.
#7826186GitHub 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