|
336.
|
|
|
a dependently typed programming language - documentation
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib-doc
|
|
337.
|
|
|
The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include:
- Algebra: Specifying and reasoning about abstract algebraic structures
- Category: Using idioms from category theory to structure functional programs
- Coinduction: Support for programming coindutively
- Data: Data types and properties about data types
- Foreign: Relating to the foreign function interface
- Induction: A general framework for induction
- IO: Input/output related functions
- Level: Universe levels
- Relations: Properties of and proofs about relations
- Size: Sizes used by the sized types mechanism
|
|
|
Description
|
|
|
represents a line break.
Start a new line in the equivalent position in the translation.
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib-doc
Package: agda-stdlib
|
|
400.
|
|
|
This includes the AlcoveBook DTD (generic, still to be refined into several other DTDs), and the Alcove DSSSL stylesheets, which currently include:
- a generic extension over Norman Walsh's modular stylesheets
- a book-like style for article
- an improved article style (still somewhat experimental)
|
|
|
Description
|
|
|
represents a line break.
Start a new line in the equivalent position in the translation.
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: alcovebook-sgml
|
|
410.
|
|
|
* Multiple windows
* Page cache
* Regular expression searching
* Built-in manual
|
|
|
Description
|
|
|
represents a line break.
Start a new line in the equivalent position in the translation.
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: alevt
|
|
412.
|
|
|
* receive the time from Teletext/Videotext
* capture pages and write them to disk
|
|
|
Description
|
|
|
represents a line break.
Start a new line in the equivalent position in the translation.
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: alevt
|
|
423.
|
|
|
a GNOME application for managing book collections
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: alexandria
|
|
424.
|
|
|
Alexandria is a program for organising collections of books. It
|
|
|
Description
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: alexandria
|
|
426.
|
|
|
Website: http://alexandria.rubyforge.org/
|
|
|
Description
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: alexandria
|
|
443.
|
|
|
- FLI player
- WAV/VOC player
- simple graphical calculator
- graphical midi "keyboard"
|
|
|
Description
|
|
|
represents a line break.
Start a new line in the equivalent position in the translation.
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: allegro-examples
|
|
454.
|
|
|
Text-based email client's debugging symbols
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: alpine-dbg
|