toonn/popartt
Dit repository bevat de brontekst voor mijn populariserend artikel in verband met mijn thesis: Programmeren en Bewijzen in Dependently Typed Talen.
Public GitHub Catalog
Discovered Sep 29, 2026
toonn / gedis
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.
#13954738GitHub System ID
toonnOrganization / User
PublicVisibility
ActiveCatalog Status
More from toonn
toonn/cc-jit-pres
Presentatie over register allocatie voor jit compilers.
toonn/pbdtt-presentatie10dec
Presentatie over het onderwerp van mijn thesis: "Programmeren en bewijzen in dependently typed talen."
toonn/haskell-gadt-ex
Exercises for: http://en.wikibooks.org/wiki/Haskell/GADT