Translations by Sascha
Sascha has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.
| 1 → 2 of 2 results | First • Previous • Next • Last |
| 799. |
Advanced Maryland Automatic Network Disk Archiver (Server)
|
|
| 2012-03-15 |
Advanced Maryland Automatic Network Disk Archiver (Server)
|
|
| 10624. |
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.
|
|
| 2012-03-09 |
Dieses Paket enthält den interaktiven Entwicklungsmodus für Agda unter Emacs. Dieser Modus ist der bevorzugte Weg um Agda-Code zu schreiben, und bietet Möglichkeiten wie iterartive Entwicklung, Vervollständigung, Fall-Analyse und so weiter.
|
|
