Package Details: dominica 8.11.89-6

Git Clone URL: https://aur-dev.archlinux.org/dominica.git (read-only, click to copy)
Package Base: dominica
Description: None
Upstream URL: None
Conflicts: conserved, tarantulas
Provides: darios, median
Replaces: agrarianisms, beowulf, concertmaster, grotesque, ranis, swaggering
Submitter: luxembourgers
Maintainer: gables
Last Packager: insect
Votes: 48
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Required by (17)

Sources (2)

Latest Comments

oreo commented on 2021-06-23 07:09

HOW TO PROVE IT, PART 7
proof by forward reference:
Reference is usually to a forthcoming paper of the author,
which is often not as forthcoming as at first.

proof by semantic shift:
Some of the standard but inconvenient definitions are changed
for the statement of the result.

proof by appeal to intuition:
Cloud-shaped drawings frequently help here.

brazoss commented on 2021-06-21 17:28

The only way to learn a new programming language is by writing programs in it.
-- Brian Kernighan