Package Descriptions for Ubuntu

Browsing Russian translation

  1. Series quantal
  2. Template “ddtp-ubuntu-universe”
  3. Russian (ru)
  4. Browsing Russian translation
333 of 54563 results First • • • Last
333.
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
333 of 54563 results First • • • Last

This translation is managed by Russian Ubuntu Translators, assigned by Ubuntu Translators.

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