GitHub

jstolarek/why-dependent-types-matter

Companion code for "Why Dependent Types Matter" paper.

Projekt na GitHub Strona

Projekt

Właściciel: jstolarek
Miasto: Łódź
Język: Agda

Metryki rankingu

Snapshot: 2026-04-01

Gwiazdek: 60
Nowe gwiazdki: 0

Badge na GitHub

[![Badge Polish Repo](https://polish-open-source.pl/badges/repositories/github/jstolarek/why-dependent-types-matter.svg)](https://polish-open-source.pl/latest)