Please enable JavaScript in your browser!
Domů
Procházet
Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat
1
Oblíbit
0
Rozštěpit
0
Soubory
Úkoly
0
Pull Requesty
0
Wiki
Větev:
js_amd
Větve
Značky
js_amd
js_amd_patch
working
Historie revizí
Hledat
Autor
SHA1
Zpráva
Datum
Jesper Cockx
2007630d78
Fix mistake in date of paper on Prop
před 5 roky
Jesper Cockx
65bda2ad4b
[ prop ] Don't go in irrelevant context when target type is Prop
před 5 roky
Jesper Cockx
275efccf44
[ prop ] Add user manual + changelog
před 6 roky