Exit program in Eiffel...

why here 'or' follows with an 'else', what kind of branches do they make?...

READABLE_STRING_GENERAL vs STRING...

Result attached or exception...

referencing typed element of tuple...

EiffelStudio finalize with contracts enabled...

Detachable element in ensure, Eiffel...

estudio does not check `require` when it should?...

Understanding Eiffel loop variant/invariant...

number of seconds since epoch in eiffel for a DATE_TIME object...

rescue how to raise further or forget an exception...

How to inherit from HASH_TABLE in Eiffel?...

How to enable debug into estudio...

how would you calculate the number of seconds since epoch in eiffel for a DATE_TIME object...

What is the best way to declare a constant into a class that can be redefined...

eiffel: a statement for explicitly executing code when assertions are on...

Is there a way to specify various types for a parameter...

How do I get agents to work in {ARRAY}.do_if in Eiffel?...

eiffel across an_iterable as vs is...

eiffel: type is based on unknown class (even when visible into libraries)...

eiffel: semantic of ANY default...

Eiffel: a way to get target and project name @runtime...

non-compatible actual argument in feature call in collection make_from_separate...

The class inherits two different generic derivations of the same class...

Two different configuration files share the same UUID. In configuration...

Eiffel avoiding duplicates into ecf file...

Eiffel: regular expressions how to do grouping...

Passing anonymous object of derived class to a routine in Eiffel...

explicit creation type not conforming to type of target...

Sharing a type with a generic class?...