Strona główna Odkrywaj Pomoc
Zaloguj się
caryoscelus
/
agda
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Gałąź: js_amd_patch
Gałęzie Tagi
agda
/
examples
/
lib
/
Data
/
Real
Nils Anders Danielsson 6311bbb613 [ Operator parser ] Support for sections. 9 lat temu
..
Base.agda f7db0ca658 working coverage checker 17 lat temu
CReal.agda 6311bbb613 [ Operator parser ] Support for sections. 9 lat temu
Complete.agda 9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords) 18 lat temu
Gauge.agda 9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords) 18 lat temu