Główne publiczne rejestry
Wspólny rejestr wszystkich typów operacji dla Wikipedii. Możesz zawęzić liczbę wyników poprzez wybranie typu rejestru, nazwy użytkownika lub tytułu strony.
- 13:42, 18 sty 2024 Radrow dyskusja edycje utworzył(a) stronę Wikipedysta:Radrow (Nowa strona: {{strona użytkownika}} {{Babel |head | pl | en-3 | de-1 |line | inf | inf prog | inf teo | inf linux | muz |special | nowy }} {{Wikipedysta infobox |kolor = |wikipedysta = Radrow |uprawnienia = |podgatunek = |zdjęcie = |opis zdjęcia = |imię i nazwisko = Radosław Rowicki |miejscowość = |narodowość = Polska |wikipedysta do = |ostatnia edycja = |gadu-gadu = |jabber = |skype = |msn = |icq = |tlen = |yim = |aim = |aqq = |i…)
- 21:30, 7 mar 2023 Radrow dyskusja edycje przeniósł(-osła) stronę Wikipedysta:Radrow/Rodzaj (teoria typów) do Rodzaj (teoria typów) (Publikacja z brudnopisu)
- 14:53, 14 lut 2023 Radrow dyskusja edycje przeniósł(-osła) stronę Wikipedysta:Radrow/brudnopis do Rodzaj (teoria typów) (Publikacja z brudnopisu: tłumaczenie (nie mogę publikować z narzędzia do tłumaczenia))
- 14:51, 14 lut 2023 Radrow dyskusja edycje utworzył(a) stronę Wikipedysta:Radrow/brudnopis (Nowa strona: W teorii typów '''rodzaj''' jest schematem konstruktora typu. System rodzajów jest najczęściej rachunkiem lambda z typami prostymi, wyposażonym w typ pierwotny, oznaczony jako <math>*</math> i nazywany „typem”, który jest rodzajem dowolnego typu danych, który nie wymaga parametryzacji . Poniewa…) Znacznik: VisualEditor: przełączono
- 14:39, 14 lut 2023 Radrow dyskusja edycje utworzył(a) stronę Wikipedysta:Radrow/Rodzaj (teoria typów) (Utworzono przez tłumaczenie strony „Kind (type theory)”) Znaczniki: Tłumaczenie treści Tłumaczenie treści v2
- 21:55, 19 lip 2019 Konto użytkownika Radrow dyskusja edycje zostało utworzone