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
Branche Tagy
agda
/
examples
/
simple-lib
Ulf Norell b56b3965a6 [ backend ] updated compiler pragmas in test cases 7 rokov pred
..
Lib b56b3965a6 [ backend ] updated compiler pragmas in test cases 7 rokov pred
TestLib.agda 689c6aaa09 Moved away or fixed many broken example files. 16 rokov pred