Browsing French translation

333 of 54563 results
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 on 2011-04-20
Reviewed by Pierre Slamich on 2011-11-13
Located in Package: elpa-agda2-mode
333 of 54563 results

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

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