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
Atzars:
js_amd
Atzari
Tagi
js_amd
js_amd_patch
working
agda
/
examples
/
AIM4
Ulf Norell
3e609b7bb8
[ fix
#418
] no longer see through abstract in private+abstract type signatures
4 gadi atpakaļ
..
bag
3e609b7bb8
[ fix
#418
] no longer see through abstract in private+abstract type signatures
4 gadi atpakaļ
Ulf Norell
3e609b7bb8
[ fix #418 ] no longer see through abstract in private+abstract type signatures