Browsing Brazilian Portuguese translation

350 of 60113 results
350.
a dependently typed programming language - standard library
Summary
(no translation yet)
Located in Package: agda-stdlib
350 of 60113 results

This translation is managed by Ubuntu Brazilian Portuguese Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.