Ondokuz / agda-stdlib

standard library for Agda



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir agda-stdlib 1.3-2
yirmiuc agda-stdlib 1.7.1-1