The difficulty in a pure language such as Idris — that is, a language where expressions do not have side-effects — is that I/O is inherently side-effecting.

The higher task is now ours of the regeneration of the race, or, if we wish to express that betterment less questionably, the aggeneration of the race.

Whether or not an individual changes co’s location on the sexual landscape, the sexual landscape itself might change, …

Patrick Carnes says sexaholism transcend personality, gender, and socio-economic status and lists three levels of addiction in his book, Out of the Shadows.