GitHub

jstolarek/why-dependent-types-matter

Companion code for "Why Dependent Types Matter" paper.

GitHub project Website

Project

Owner: jstolarek
City: Łódź
Language: Agda

Ranking metrics

Snapshot: 2026-04-01

Stars: 60
New stars: 0

GitHub badge

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