Please enable JavaScript in your browser!
Sākums
Izpētīt
Palīdzība
Pierakstīties
caryoscelus
/
agda
Vērot
1
Pievienot zvaigznīti
0
Atdalīts
0
Faili
Problēmas
0
Izmaiņu pieprasījumi
0
Vikivietne
Koks:
ce9b406819
Atzari
Tagi
js_amd
js_amd_patch
working
agda
/
test
/
LaTeXAndHTML
Nils Anders Danielsson
edd8334381
[
#5427
] Removed support for subtyping for erasure and irrelevance.
3 gadi atpakaļ
..
fail
767eecdd60
Re
#5549
: latex-html-test: sanitize Agda output (Windows compatibility)
3 gadi atpakaļ
succeed
edd8334381
[
#5427
] Removed support for subtyping for erasure and irrelevance.
3 gadi atpakaļ
user-manual
94cfe2ef3e
LaTeX output: preserve spaces in comments. (
#5320
)
3 gadi atpakaļ
Tests.hs
8ca2402d1f
Testsuite: use Text.words consistently when diffing
3 gadi atpakaļ