codata

Ich finde, dass Lazy und Inf sehr nahe ist:    Lazy und Inf sind eng miteinander verwandt (in der Tat, der zugrunde liegende   Implementierung verwendet denselben Typ). Der einzige Unterschied in der Praxis ist   in der Totalitätsprüfun...