Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
caryoscelus
/
agda
Pridať medzi pozorované 1
Hviezda 0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: js_amd_patch
Branche Tagy
agda
/
examples
/
lib
Andrés Sicard-Ramírez 514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test. 8 rokov pred
..
Data 514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test. 8 rokov pred
Logic 514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test. 8 rokov pred
Prelude.agda dee6ebca7a started porting libraries to use inductive families 18 rokov pred
Test.agda 689c6aaa09 Moved away or fixed many broken example files. 16 rokov pred