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...
347 of 60113 results First • • • Last
347.
This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
 
Description
Este pacote fornece um programa em linha de comando para verificação de tipos e compilação de programas Agda. O programa também pode gerar arquivos HTML com realce e hiperlinks a partir de fontes Agda.
Translated by Michael Vogt
Located in Package: agda-bin
347 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.