Abstract Wikipedia/Updates/2021-02-04/id: Difference between revisions
Content deleted Content added
mNo edit summary |
mNo edit summary |
||
Line 17:
Kami telah mendiskusikan Tipe sebelumnya di nawala [[Special:MyLanguage/Abstract Wikipedia/Updates/2020-11-10|#7]] dan [[Special:MyLanguage/Abstract Wikipedia/Updates/2021-01-21|#15]].
Seperti yang kita diskusikan di sana, sistem Tipe yang baik bisa sangat membantu dalam memelihara dan bekerja dengan katalog fungsi.
Untuk mendemonstrasikan bahwa kita benar-benar telah menyelesaikan Fase β, kami membuat sebuah Tipe untuk Bilangan Bulat Positif di situs uji coba notwikilambda, dan sebuah contoh dari Tipe tersebut untuk bilangan satu.
|