rodrigogribeiro/popl2015-papers
Accepted papers for POPL 2015
Public GitHub Catalog
Discovered Sep 29, 2026
rodrigogribeiro / idris-tutorial-solutions
My solutions to Idris 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.
#16498367GitHub System ID
rodrigogribeiroOrganization / User
PublicVisibility
ActiveCatalog Status
More from rodrigogribeiro
rodrigogribeiro/developing-dependently-typed-programs-agda
Code for a port of Connor McBride's talk "Developing Dependently Typed Programs in Lego" to Agda.
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