» Ubuntu » Pakete » raring (13.04) » misc » agda-mode
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]
[ Quellcode: agda  ]

Paket: agda-mode (2.3.2-1) [universe]

Links für agda-mode

Screenshot

Ubuntu-Ressourcen:

Quellcode-Paket agda herunterladen:

Betreuer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Externe Ressourcen:

Ähnliche Pakete:

dependently typed functional programming language — emacs mode

Andere Pakete mit Bezug zu agda-mode

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

agda-mode herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 44,4 kB185,0 kB [Liste der Dateien]