agda/02-dependent/Indexed.lagda.rst · master · POTTIER Francois / mpri-2.4-public · GitLab

Mentions légales du service

Skip to content

GitLab

Explore

Sign in

mpri-2.4-public
agda
02-dependent
Indexed.lagda.rst

Blame Permalink

Feb 14, 2020
9677ec54

Syntax compatible with 2.6.0.1 · 9677ec54
Pierre-Evariste Dagand authored Feb 14, 2020

9677ec54

Syntax compatible with 2.6.0.1
Pierre-Evariste Dagand authored Feb 14, 2020

Loading