Package Descriptions for Ubuntu

Browsing Brazilian Portuguese translation

  1. Series natty
  2. Template “ddtp-ubuntu-universe”
  3. Brazilian Portuguese (pt_BR)
  4. Browsing Brazilian Portuguese transla...
349 of 60113 results First • • • Last
349.
This package contains the emacs interactive development mode for Agda. This mode is the preferred way to write Agda code, and offers features such as iterative development, refinement, case analysis and so on.
 
Description
(no translation yet)
Located in Package: elpa-agda2-mode
349 of 60113 results First • • • Last

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.