I dunno man, I cannot stop feeling like we can do better.

Pior que a minha leitura do assunto é mto teórico.

It definitely makes it harder to reason about performance tho.

It was not intentional bro.

No idea, but T even has acute effects.

Good luck

Even if it's a new symbol, it's still cyclical, it really doesn't matter semantics wise, if A is isomorphic to B and B implies in something that includes A, then B is cyclical.

Also, it's called a fixpoint, because you go back to the same point.

This a cycle, you just showed that it is well founded as it eventually finishes, but the stream type is also a regular tree and there is no trivial way of avoiding the cycle.

A list type is a regular tree, it's not a tree as it is cyclical.

I'm just a con man, I don't even know greek.

Literally me

Or it was dune, but something includes it.

Either OxOCaml has it or it's an OCaml Pro thing.

A vontade de morder crianças é realmente universal.

Yup, R-MDMA is one of the isomers in traditional MDMA, but it seems to be considerably less toxic and still produce the empathy related effects.