Package Descriptions for Ubuntu

Browsing French translation

  1. Series quantal
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French 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
Ce paquet contient le mode de développement interactif emacs pour Agda. C'est le mode privilégié pour coder en Agda, il offre des fonctionnalités telles que le développement itératif, le raffinage, l'analyse de cas et bien d'autres.
Translated by Thomas
Reviewed by Pierre Slamich
Located in Package: elpa-agda2-mode
333 of 54563 results First • • • Last

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

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