Pure

A term for actions or things with no side effect.

This page is linked from: Active   Clean   Coq   Duality   Max   Referential Transparency and State   Self